Flexible and Formal Modeling of Microprocessors with Application to Retargetable Simulation (2003)

by W Qin, S Malik
Venue:In Proc. Design, Automation and Test in Europe Conf. (DATE03