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

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

January 31, 2005

A. Chaudhuri, A. Sowmya, S. Ramesh