Cited By
View all- Iksoo Eo Seongbong Lee Kyungsu Kim (1999)WLL base station modem ASICICVC '99. 6th International Conference on VLSI and CAD (Cat. No.99EX361)10.1109/ICVC.1999.821002(566-569)Online publication date: 1999
In this paper, we integrate an assertion-based verification methodology with our object-oriented system-level synthesis methodology to address the problem of HW/SW co-verification. In this direction a system-level assertion language is defined. The ...
Association for Computing Machinery
New York, NY, United States