时序电路等价验证
基于1个网页-相关网页
sequential-logic equivalence-checking 连续逻辑等效检验
·2,447,543篇论文数据,部分数据来源于NoteExpress
A sequential equivalence checking algorithm based on state transfer graph is presented.
提出一种基于状态转换图的时序电路等价验证算法。
youdao
应用推荐
模块上移
模块下移
不移动