Automatic Generation of Complex Properties for Hardware Designs.

Frank Rogin Thomas Klotz Görschwin Fey Rolf Drechsler Steffen Rülke

Published in: DATE (2008)

Keyphrases

hardware designs
automatically generate
high level
complex systems
desirable properties
real time
structural properties
complex data
computationally intensive
databases
computer vision
web services
decision trees
graphical models