1-2 of 2 Books
Architecture exploration for embedded processors with LISA
By Andreas Hoffmann,Heinrich Meyr,Rainer Leupers
The E hardware verification language
By Sasan Iman,Sunita Joshi