原名:Timing analysis of asynchronous circuits using timed automata
作品简介:1 SPECTRE-VERIMAG, Miniparc-ZmST, 38330 Montbonnot, 法国, . ]\’b ift < d。 5、. Oet-d 如果 d < t。 /3 的值始终反映 a 的值，因为它是 d 个时间单位之前的值，而 b 是初始间隔 [0, .. 对时钟和 7~(q, q) 的评估的默认值 /3外部变量……
资源下载
VIP免费升级VIP
