Automated Functional Verification of Application Specific Instruction-set Processors.

Marcela Simková Zdenek Prikryl Zdenek Kotásek Tomas Hruska

Published in: IESS (2013)

Keyphrases

instruction set
application specific
functional verification
general purpose
file system
memory subsystem
level parallelism
formal verification
instruction set architecture
database
databases
hardware and software