Evaluating Assertion Set Completeness to Expose Hardware Trojans and Verification Blindspots.

Nicole Fern Kwang-Ting (Tim) Cheng

Published in: DATE (2019)

Keyphrases

massively parallel
real time
databases
small number
data sets
genetic algorithm
image processing
data quality
hardware and software
computing power