FORMAL VERIFICATION OF HARDWARE CORRECTNESS - INTRODUCTION AND SURVEY OF CURRENT RESEARCH

被引：10

作者：

CAMURATI, P ^{[1
]}

PRINETTO, P ^{[1
]}

机构：

[1] POLITECN TORINO, DEPT COMP SCI & AUTOMAT, I-10129 TURIN, ITALY

来源：

关键词：

D O I：

10.1109/2.65

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

页码：8 / 19

页数：12

共 28 条

[1]

BARROS JC, 1983, IEEE T COMPUT JUL, P603

BARROW, HG .

[3]

Barwise J., 1977, Handbook of Mathematical Logic

[4]

BOCHMANN GV, 1982, IEEE T COMPUTERS MAR, P223

[5]

BROWNE M, 1986, IEEE T COMPUTERS DEC, P1035

[6]

Carter W. C., 1979, 16th design automation conference proceedings, P280, DOI 10.1109/DAC.1979.1600119

[7]

CORY WE, 1981, 18TH P DES AUT C, P82

[8]

Darringer J. A., 1979, 16th design automation conference proceedings, P375, DOI 10.1109/DAC.1979.1600139

[9]

DONAHUE JE, 1976, COMPLEMENTARY DEFINI

[10]

Eveking H., 1986, Formal Aspects of VLSI Design. Proceedings of the 1985 Edinburgh Workshop on VLSI, P137