DocumentCode
2171766
Title
Proof-aided design of verified hardware
Author
Busch, Holger ; Venzl, Gerd
Author_Institution
Siemens AG, Corporate Research and Development
fYear
1991
fDate
21-21 June 1991
Firstpage
391
Lastpage
396
Keywords
Constraint theory; Error correction; Explosions; Hardware; Humans; Logic; Permission; Process design; Research and development; Very large scale integration;
fLanguage
English
Publisher
ieee
Conference_Titel
Design Automation Conference, 1991. 28th ACM/IEEE
Conference_Location
IEEE
Print_ISBN
0-89791-395-7
Type
conf
Filename
979747
Link To Document