AN ALGEBRAIC MODEL FOR ASYNCHRONOUS CIRCUITS VERIFICATION

被引：5

作者：

BERTHET, C

CERNY, E

机构：

来源：

关键词：

D O I：

10.1109/12.2229

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：835 / 847

页数：13

共 29 条

[1] VERIFY - A PROGRAM FOR PROVING CORRECTNESS OF DIGITAL HARDWARE DESIGNS
BARROW, HG
[J]. ARTIFICIAL INTELLIGENCE, 1984, 24 (1-3) : 437 - 491
[2] TOWARDS A NEW THEORY OF SEQUENTIAL SWITCHING NETWORKS
BEIZER, B
[J]. IEEE TRANSACTIONS ON COMPUTERS, 1970, C 19 (10) : 939 - &
[3] BOCHMANN GV, 1982, IEEE T COMPUT, V31
[4] BRYANT RE, 1985, P CHAPEL HILL C VLSI
[5] BRYANT RE, 1984, IEEE T COMPUT, V33
[6] BRZOZOWSKI JA, 1979, IEEE T COMPUT, V28, P178, DOI 10.1109/TC.1979.1675317
[7] SIMULATION OF MOS CIRCUITS BY DECISION DIAGRAMS
CERNY, E
GECSEI, J
[J]. IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1985, 4 (04) : 685 - 693
[8] CERNY E, 1980, DIGITAL PROCESS, V6, P167
[9] CERNY E, 1977, IEEE T COMPUT, V26
[10] CERNY E, 1978, IEEE T COMPUT, V27