Cited By
View all- Young WHuang CSu AJou CHsueh FLin Y(2010)A practice of ESL verification methodology from SystemC to FPGAProceedings of the 2010 Asia and South Pacific Design Automation Conference10.5555/1899721.1899909(821-824)Online publication date: 18-Jan-2010
- Ng MVijayaraghavan MDave NArvind Raghavan GHicks J(2007)From WiFi to WiMAXProceedings of the 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign10.1109/MEMCOD.2007.371247(71-80)Online publication date: 30-May-2007