首页>
外国专利>
Method and system to verify a circuit design by verifying consistency between two different language representations of a circuit design
Method and system to verify a circuit design by verifying consistency between two different language representations of a circuit design
展开▼
机译:通过验证电路设计的两种不同语言表示之间的一致性来验证电路设计的方法和系统
展开▼
页面导航
摘要
著录项
相似文献
摘要
A method to verify a circuit design may include applying a bounded model checking technique to a first computer language representation of the circuit design and to a second computer language representation of the circuit design. The method may also include determining a behavioral consistency between the first and second computer language representations.
展开▼