论文部分内容阅读
本文提出了一种基于MOS管开关模型的标准单元库组合电路的功能验证方法,可以有效地加快验证速度并提高验证的准确度。程序设计主要由电路模拟器、逻辑表达式编译器、激励生成器及程序控制器4个部分组成。电路模拟器基于MOS管开关模型建立,用于根据电路结构实现输入到输出的求值;逻辑表达式编译器用于将用户输入的逻辑表达式字符串转化为可执行代码;激励生成器用于产生遍历所有输入情况的激励;程序控制器用于控制程序的执行与中断,模块间数据的通信及人机交互。