Login / Signup
Template-Based and Coverage-Guided Verification Instruction Set Automatic Generation Method for DSP Chip.
Ying Shang
Kun Chang
Ruilian Zhao
Zhigang Yin
Published in:
ATS (2023)
Keyphrases
</>
generation method
instruction set
ibm power processor
level parallelism
high speed
memory subsystem
floating point
low cost
memory access
floating point arithmetic
application specific
signal processing
databases
computer architecture
error resilience
formal methods
data model
database systems
real time