Proceedings of IEEE East-West Design & Test Symposium (EWDTS’08)журнал

Статьи, опубликованные в журнале

---

• • 2008 Coverage-directed verification of microprocessor units based on cycle-accurate contract specifications
  • Kamkin Alexander
  • в журнале Proceedings of IEEE East-West Design & Test Symposium (EWDTS’08)