Automatic Generation of Design Constraints in Verifying High Performance Embedded Dynamic Circuits.

Jayanta Bhadra Narayanan Krishnamurthy

Published in: ITC (2002)

Keyphrases

design process
embedded systems
constrained optimization
real time
high level synthesis
circuit design
mobile robot
user interface
case study
neural network
co occurrence
software development
dynamic environments
search space
constraint programming
expert systems
hw sw
database