Oleg Petlin, Wilson Snyder. Functional Verification of SiCortex Multiprocessor System-on-a-Chip. In Proceedings of the 44th Design Automation Conference, DAC 2007, San Diego, CA, USA, June 4-8, 2007. pages 906-909, IEEE, 2007. [doi]
Abstract is missing.