Ambar A. Gadkari, S. Ramesh, Rubin A. Parekhji. CESC: a visual formalism for specification and verification of SoCs. In David Garrett, John Lach, Charles A. Zukowski, editors, Proceedings of the 14th ACM Great Lakes Symposium on VLSI 2004, Boston, MA, USA, April 26-28, 2004. pages 354-357, ACM, 2004. [doi]
Abstract is missing.