IEEE - Institute of Electrical and Electronics Engineers, Inc. - Model evaluation using genetic manipulation techniques

Proceedings Ninth Great Lakes Symposium on VLSI

Author(s): Stamenkovic, Z. ; Dahmen, H.-Ch. ; Glaeser, U.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1999
Conference Location: Ypsilanti, MI, USA, USA
Conference Date: 4 March 1999
Page(s): 224 - 225
ISBN (Paper): 0-7695-0104-4
ISSN (Paper): 1066-1395
DOI: 10.1109/GLSV.1999.757415
Regular:

Formal verification is an important area in industry getting more and more attention. Growing complexity of digital circuits and the use in safety critical systems are the reasons for the need of... View More

Advertisement