Symbolic Forced Simulation: Interface Generation for Systems-on-Chip

Technical Report, University of New South Wales, Sydney, Australia

Publication date: January 31, 2005

A. Chaudhuri, A. Sowmya, S. Ramesh