Processor description languages Prabhat Mishra, Nikil Dutt [ISBN] [Google Scholar] [DBLP] [Citeseer] Morgan Kaufmann Publishers Inc. San Francisco, CA, USA 2008 Note(s): ISA specification
