A DISTRIBUTED MODELING APPROACH FOR SIMULATION AND VERIFICATION OF DIGITAL DESIGNS

被引：0

作者：

GHOSH, S

机构：

[1] AT&T BELL LABS,KNOWLEDGE SYST RES DEPT,HOLMDEL,NJ 07733

[2] COMP SYST LAB,STANFORD,CA

[3] CTR INTEGRATED SYST,STANFORD,CA

来源：

IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS | 1987年 / 34卷 / 10期

关键词：

D O I：

10.1109/TCS.1987.1086051

中图分类号：

TM [电工技术]; TN [电子技术、通信技术];

学科分类号：

0808 ; 0809 ;

摘要：

引用

页码：1171 / 1181

页数：11

共 14 条

[1]

ARMSTRONG DB, 1972, IEEE T COMPUT MAY

[2]

BREUER M, 1976, DIAGNOSIS DESIGN DIG

[3]

CASE GR, 1978, 15TH P DES AUT C LAS

[4]

GHOSH S, THESIS STANFORD U ST

[5]

GHOSH S, 1985, NOV P IEEE ICCAD C S

[6]

HILL DD, THESIS STANFORD U ST

[7] AN OVERVIEW OF ANNA, A SPECIFICATION LANGUAGE FOR ADA [J].

LUCKHAM, DC ;

VONHENKE, FW .

[8]

LUCKHAM DC, 1986, OCT P IEEE INT C COM

[9]

MCWILLIAMS TM, 1980, 17TH P DES AUT C

[10]

PERRIN JP, 1972, SWITCHING MACHINES