Flexible and formal modeling of microprocessors with application to retargetable simulation. (2003)

by W Qin, S Malik
Venue:In: Design, Automation and Test in Europe (DATE) Conference,