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