Sciweavers

51
Voted
DAC
2001
ACM
15 years 9 months ago
Scalable Hybrid Verification of Complex Microprocessors
Maher N. Mneimneh, Fadi A. Aloul, Christopher T. W...