Software/Hardware Co-Verification for Custom Instruction Set Processors.
Marie-Christine JakobsFelix PauckMarco PlatznerHeike WehrheimTobias WiersemaPublished in: IEEE Access (2021)
Keyphrases
- instruction set
- application specific
- dedicated hardware
- embedded systems
- floating point
- computer architecture
- memory subsystem
- computer systems
- ibm power processor
- floating point arithmetic
- software systems
- memory access
- general purpose
- level parallelism
- low cost
- high end
- efficient implementation
- formal methods
- data access
- instruction set architecture