HDL描述中决策图模型的提取方法和实现  

Method and Its Implementation of Extraction Decision Diagram from HDL Description

作　　者：万海[1] 李暾[1] 冷彪[1] 郭阳[1] 李思昆[1] 

机构地区：[1]国防科学技术大学计算机学院,长沙410073

出　　处：《计算机工程》2004年第14期76-78,共3页Computer Engineering

基　　金：国家自然科学重点基金资助项目(90207019);国家"863"计划资金资助项目(2002AA1Z1480)

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

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]