Issue No.05 - September/October (2006 vol.23)
Victor Berman , Cadence Design Systems
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MDT.2006.131
Two interesting standardization proposals, Rosetta and Esterel version 7, both are based on technology that has been under development for a long time, and both target the formalization of system-level design and verification. But, otherwise, they take very different approaches.
Rosetta, Esterel version 7, system-level design language
Victor Berman, "Standards: DASC sees moves toward formality in design", IEEE Design & Test of Computers, vol.23, no. 5, pp. 428-429, September/October 2006, doi:10.1109/MDT.2006.131