一般来说,形式化验证方法可以分为等价性验证(Equivalence Checking)、模型验证(ModelChecking)和定理证明(TheoremProving)方法。 等价性验证用来对两个电路进行逻辑功能的等价性验证。
基于36个网页-相关网页
sequential-logic equivalence-checking 连续逻辑等效检验
formal equivalence checking 等效性形式检验
boolean equivalence checking 等效性布尔检验
sequential equivalence checking 时序电路等价验证
System Level Equivalence Checking 系统级等价检查工具
Sequential Equivalence Checking using invariant extraction technqiue and sequential SAT solver.
2.结合不变量提取和时序SAT的时序等价性验证技术。
参考来源 - 基于布尔可满足性的逻辑电路等价性验证和测试生成技术研究The Order Finite State Machine is mew model for electric circuit describe, We can do combinational equivalence checking convenience and quickly by this model.
它是一种电路描述的新的模型,通过这种新模型可以对组合电路的等价性检验进行方便、高效的验证。
参考来源 - 形式验证技术的应用研究The application of formal verification in VLSI ware studies in this paper. Thesis discuss in-depth about the equivalence checking at first.
论文首先对形式验证中的等价性检测方法进行了深入的探讨。
参考来源 - 形式验证技术的应用研究·2,447,543篇论文数据,部分数据来源于NoteExpress
Bisimulation is often chosen as the equivalence relation in equivalence checking.
在等价验证中,通常选择互模拟作为等价关系。
A sequential equivalence checking algorithm based on state transfer graph is presented.
提出一种基于状态转换图的时序电路等价验证算法。
An improved algorithm based on register mapping is proposed to increase the speed of equivalence checking for sequential circuits.
为了提高时序电路的等价性验证速度,提出一种改进的基于寄存器匹配的验证算法。
应用推荐