Title :
Proof-aided design of verified hardware
Author :
Busch, Holger ; Venzl, Gerd
Author_Institution :
Siemens AG, Corporate Research and Development
Keywords :
Constraint theory; Error correction; Explosions; Hardware; Humans; Logic; Permission; Process design; Research and development; Very large scale integration;
Conference_Titel :
Design Automation Conference, 1991. 28th ACM/IEEE
Conference_Location :
IEEE
Print_ISBN :
0-89791-395-7
