Publications

3 results at DATE 2003

Cross-product functional coverage measurement with temporal properties-based assertions [logic verification]
- - Avi Ziv
- 2003
- DATE 2003
Conference paper
Time budgeting in a wireplanning context
- - Jurjen Westra
  - Dirk-Jan Jongeneel
  - et al.
- 2003
- DATE 2003
Conference paper
Modeling and integration of peripheral devices in embedded systems
- - Shaojie Wang
  - Sharad Malik
  - et al.
- 2003
- DATE 2003
Conference paper