Title: Constraint driven behavioral synthesis
Subjects: Computer architecture, Computer-aided design, Integrated circuits, System design, Very large scale integration