A formal approach for high level synthesis of linear analog systems.

Soumya Pandit Chittaranjan A. Mandal Amit Patra

Published in: ACM Great Lakes Symposium on VLSI (2006)

Keyphrases

high level synthesis
distributed systems
linear systems
formal methods
management system
artificial intelligence
graphical models
dynamic environments
digital circuits