Sign in
Parameterized Hardware Verification Through a Term-Level Generalized Symbolic Trajectory Evaluation.
Yongjian Li
Bow-Yaw Wang
Published in:
ICFEM (2019)
Keyphrases
</>
low cost
hardware and software
real time
high level
model checking
higher level
evaluation method
evaluation methods
hardware designs
image processing
video sequences
computer systems
evaluation metrics
evaluation criteria
computing power
application level