计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2001年
17期
74-76
,共3页
VIS系统%形式化验证%二叉判定图%实时二叉判定图
VIS繫統%形式化驗證%二扠判定圖%實時二扠判定圖
VIS계통%형식화험증%이차판정도%실시이차판정도
文章在分析形式化验证/综合系统VIS的基础上,改进了该电子系统中的BDD能表示电路的定时性质,这样就为VIS系统能够进行电路的时间特性验证和实时模型检验打下了基础.关键技术--二叉判定图(BDD),使
文章在分析形式化驗證/綜閤繫統VIS的基礎上,改進瞭該電子繫統中的BDD能錶示電路的定時性質,這樣就為VIS繫統能夠進行電路的時間特性驗證和實時模型檢驗打下瞭基礎.關鍵技術--二扠判定圖(BDD),使
문장재분석형식화험증/종합계통VIS적기출상,개진료해전자계통중적BDD능표시전로적정시성질,저양취위VIS계통능구진행전로적시간특성험증화실시모형검험타하료기출.관건기술--이차판정도(BDD),사
