Modell Evaluation Using Genetic Manipulation Techniques

G
GLSVLSI
1999
Ninth Great Lakes Symposium on VLSI
Abstract - Modell Evaluation Using Genetic Manipulation Techniques

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by H.-Ch. Dahmen Articles by U. Glaeser Articles by Z. Stamenkovic

Ninth Great Lakes Symposium on VLSI

Ann Arbor, Michigan

March 04-March 06

ISBN: 0-7695-0104-4

	ASCII Text	x
	H.-Ch. Dahmen, U. Glaeser, Z. Stamenkovic, "Modell Evaluation Using Genetic Manipulation Techniques," Great Lakes Symposium on VLSI, pp. 224, Ninth Great Lakes Symposium on VLSI, 1999.

	BibTex	x
	@article{ 10.1109/GLSV.1999.757415, author = {H.-Ch. Dahmen and U. Glaeser and Z. Stamenkovic}, title = {Modell Evaluation Using Genetic Manipulation Techniques}, journal ={Great Lakes Symposium on VLSI}, volume = {0}, year = {1999}, issn = {1066-1395}, pages = {224}, doi = {http://doi.ieeecomputersociety.org/10.1109/GLSV.1999.757415}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Great Lakes Symposium on VLSI TI - Modell Evaluation Using Genetic Manipulation Techniques SN - 1066-1395 SP EP A1 - H.-Ch. Dahmen, A1 - U. Glaeser, A1 - Z. Stamenkovic, PY - 1999 VL - 0 JA - Great Lakes Symposium on VLSI ER -

H.-Ch. Dahmen, The German National Research Center for Information Technology (GMD)

U. Glaeser, The German National Research Center for Information Technology (GMD)

Z. Stamenkovic, University of Nis

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/GLSV.1999.757415

Formal Verification is an important area in industry with getting more and more attention. Growing complexity of digital circuits and the use in safety critical systems are the reasons for the need of tools for checking the correctness of designs.In this paper we present a new approach for model evaluation. With our approach we are able to increase the belief of a designer in the right functionality of a circuit without the long runtimes of classical model checking but with more reliability than testing a design via simulation with some input patterns.To achieve this goal we use our genetic manipulation technique: a combination of classical genetic algorithms with a goal oriented mutation operator.

Citation:

H.-Ch. Dahmen, U. Glaeser, Z. Stamenkovic, "Modell Evaluation Using Genetic Manipulation Techniques," glsvlsi, pp.224, Ninth Great Lakes Symposium on VLSI, 1999

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.