Code generation for functional validation of pipelined microprocessors.

Fulvio Corno Giovanni Squillero Matteo Sonza Reorda

Published in: ETW (2003)

Keyphrases

code generation
application development
code generator
modeling language
software development
model driven
software reuse
formal specification
personal computer
expert systems
information systems
rapid prototyping
database
web applications
design patterns
design tools
data sets