A Co-Verification Tool for a High Level Language Compiler for FPGAs.

Charlie Ross A. P. Wim Böhm

Published in: FCCM (2006)

Keyphrases

programming language
general purpose
user friendly
genetic algorithm
evolutionary algorithm
software development
software systems
model checking
code generation