Subir K. Roy, S. Ramesh, Supratik Chakraborty, Tsuneo Nakata, Sreeranga P. Rajan. Functional Verification of System on Chips-Practices, Issues and Challenges (Tutorial Abstract). In Proceedings of the ASPDAC 2002 / VLSI Design 2002, CD-ROM, 7-11 January 2002, Bangalore, India. pages 11-13, IEEE Computer Society, 2002. [doi]
Abstract is missing.