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

自动 Virtuoso 测试 该项目的目标是使用 SKILL 语言自动验证在 Cadence 的 Virtuoso 中创建的原理图的行为。 概念 主要思想是用户应该在 SKILL 中设计一个函数来定义电路的预期行为。 电路将针对所有输入模式进行仿真，仿真结果应与预期行为进行比较。 例如， targetFunc的kogge.ils定义了 Kogge-Stone 加法器的预期行为。 该电路需要两个四位输入和一个进位。 预期行为只是 A、B 和进位位的总和。 我们通过从位表转换为整数，使用内置加法运算符，并将结果转换回位表来定义 SKILL 中的操作。 (defun targetFunc (a0 b0 a1 b1 a2 b2 a3 b3 cin) A = (list a0 a1 a2 a3) B = (list b0 b1 b2 b3) Cin = (list ci