Early Validation of Computer Microarchitecture with Algorithm Level Models
Ziyad Hanna and Tom Melham
Book Title
Proceedings of ASM'07: The 14th International Abstract State Machines Workshop
Editor
Andreas Prinz
ISBN
978−82−7117−627−3
Note
Published electronically
Year
2007