Assessing the impact of processor design decisions on simulation based verification complexity using formal modeling with experiments at instruction set architecture level
The Instruction Set Architecture (ISA) describes the key functionalities of a processor design and is the most comprehensible format for enabling humans to understand the structure of the entire processor design. This thesis first introduces the construction of a generic ISA formal model with mathem...
| Main Author: | |
|---|---|
| Published: |
University of Bristol
2012
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.566838 |