Issue No. 05 - September/October (2006 vol. 23)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MDT.2006.131
Victor Berman , Cadence Design Systems
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
V. Berman, "Standards: DASC sees moves toward formality in design," in IEEE Design & Test of Computers, vol. 23, no. , pp. 428-429, 2006.