Virtuoso-Verification：Cadence Virtuoso中详尽的原理图验证框架

简介：
Virtuoso-Verification是Cadence公司开发的一款基于Virtuoso平台的详细电路原理图验证工具，提供全面的功能以确保设计的准确性和可靠性。 自动 Virtuoso 测试的目标是使用 SKILL 语言在 Cadence 的 Virtuoso 中创建的原理图的行为进行验证。主要思想是由用户设计一个函数来定义电路预期行为，然后对电路的所有输入模式进行仿真，并将仿真的结果与预期行为相比较。 例如，在 `targetFunc.kogge.ils` 文件中，Kogge-Stone 加法器的预期行为被定义为：该加法器需要两个四位输入和一个进位。它的输出是 A、B 和进位位的总和。我们通过将比特表转换成整数，并使用内置的加法运算符进行计算，再把结果转回比特表的形式来实现 SKILL 中的操作。 在函数定义中： - `A` 是由输入参数 a0, a1, a2, a3 构成的一个列表。 - `B` 是由 b0, b1, b2, b3 构成的另一个列表。 - `Cin` 表示进位，同样是一个包含单个元素 ci 的列表。