User menu

Logic verification of incomplete functions and design error location

Bibliographic reference Zhang, Q. ; Trullemans, Charles. Logic verification of incomplete functions and design error location.Correct Hardware Design and Verification Methods. IFIP WG10.2 Advanced Research Working Conference CHARME '93 Proceedings (Arles, France, 24-26 May 1993). In: Milne, G.J.; Pierre, L.;, Correct Hardware Design and Verification Methods. IFIP WG10.2 AdvancedResearch Working Conference CHARME '93 Proceedings, Springer-verlag1993, p. 68-79
Permanent URL http://hdl.handle.net/2078.1/68264