High Level Modeling and Validation Methodologies for Embedded Systems: Bridging the Productivity Gap.

Sandeep K. Shukla, Jean-Pierre Talpin, Stephen A. Edwards, Rajesh K. Gupta

Browse the full VLSID paper archive.