Title: Design automation, languages, and simulations
Subjects: Very large scale integration, Integrated circuits