VEGA: A Verification Tool Based on Genetic Algorithms

Created by W.Langdon from gp-bibliography.bib Revision:1.8051

@InProceedings{cad_iccd98a,

• author = "F. Corno and M. {Sonza Reorda} and G. Squillero",
• title = "{VEGA}: A Verification Tool Based on Genetic Algorithms",
• booktitle = "ICCD: International Conference on Circuit Design",
• year = "1998",
• pages = "321--326",
• address = "Austin, TX, USA",
• month = "05-07 " # oct,
• keywords = "genetic algorithms, genetic programming, EHW",
• broken = "http://www.cad.polito.it/FullDB/exact/iccd98a.html",
• broken = "http://www.cad.polito.it/pap/db/iccd98a.pdf",
• DOI = "doi:10.1109/ICCD.1998.727069",
• size = "6 pages",
• abstract = "While modern state-of-the-art optimization techniques can handle designs with up to hundreds of flip-flops, equivalence verification is still a challenging task in many industrial design flows. This paper presents a new verification methodology that, while sacrificing exactness, is able to handle larger circuits and give designers the opportunity to trade off CPU time with confidence on the result. The proposed methodology is able to fruitfully support an exact verification tool, dramatically increasing the confidence on the validity of an optimization process. A prototypical tool has been developed and preliminary experimental results that support this claim are shown in the paper.",
• notes = "compare to AQUILA",

}

Genetic Programming entries for Fulvio Corno Matteo Sonza Reorda Giovanni Squillero

Citations