General-purpose Specification Languages. - 1 - P.Marwedel, U. Dortmund, Informatik 12, 2006 Universität Dortmund System modeling & design Represent.
Scaling the Abstraction Cliff: High-Level Languages for System Design Stephen A. Edwards Synopsys, USA Luciano Lavagno University of Udine, Italy devidamente.