【技术实现步骤摘要】
本专利技术主要地涉及电子设计自动化。具体而言，本专利技术涉及用于针对形式化电路验证来优化电路设计的技术和系统。
技术介绍
使用高级硬件描述语言来描述电路允许硬件工程师限定电路的功能，并且在将高 级描述转换成用于电路的具体物理布局之前优化电路的架构。电路验证的目的在于确定预期电路在正常操作条件之下是否如希望的那样表现。可以使用不同的技术来验证电路，这些技术包括形式化验证技术、基于仿真的验证技术以及将形式化验证技术和基于仿真的验证技术的要素进行组合的混合验证技术。 形式化验证技术尝试证明被验证电路(CUV)将在操作期间如希望的那样表现。形式化验证技术通常利用两类逻辑条件假设和断言。假设是用来对运行时环境进行建模的逻辑条件，而断言是对CUV的所需表现进行限定的逻辑条件。遗憾的是，形式化验证大而复杂的电路在计算机上有时可能不切实际。 基于仿真的验证技术对CUV进行仿真以保证CUV如希望的那样表现。与形式化验 证比较，仿真通常需要较少的计算资源。遗憾的是，基于仿真的验证技术通常不能确保CUV 将如希望的那样表现，因为覆盖整个状态空间通常是不切实际的。 在一种混合验证技术...
【技术保护点】
一种用以优化和验证第一电路的方法，所述方法包括：接收所述第一电路和与所述第一电路关联的假设集合，其中所述假设集合指定对所述第一电路的至少主要输入集合的第一逻辑约束集合，并且其中预期在正常电路操作期间满足所述假设集合；部分地基于所述假设集合中的假设来生成刺激发生器，其中来自所述刺激发生器的输出值在赋值给所述第一电路的所述主要输入集合时使得所述主要输入集合满足所述假设；通过将所述刺激发生器的所述输出与所述第一电路的主要输入集合进行耦合，来生成修改电路；以及对所述修改电路进行逻辑优化以获得优化电路。
【技术特征摘要】
...
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。