Fast Bit-Accurate C++ Datatypes For Functional System Verification and Synthesis.

Andrés Takach Simon Waters Peter Gutberlet

Published in: FDL (2004)

Keyphrases

data types
data structure
functional verification
database systems
high quality
database management systems
face verification
functional analysis
verification method
genetic algorithm
highly accurate
program synthesis
random access memory