Abstract: Decision diagram model is a utility to represent data dependence between signals in VLSI designs, and is widely used in VLSI design verification. This paper extends the existent DD model, presents and implements a method of extract DD model from HDL description. This method gets promising result when integrated in a RT-level automatic simulation vectors generation system.

摘要： 决策图模型描述了VLSI设计信号间的数据依赖关系,在VLSI设计验证中有广泛的应用。该文扩展了已有的决策图模型,给出了从硬件描述语言描述的设计中抽取决策图模型的方法并加以实现。将该方法用于RTL级模拟矢量自动生成系统,取得了良好的效果。

关键词: VLSI, 决策图模型, 模拟矢量自动生成

CLC Number: 

• TP391.9