Enhancing the Testability of RTL Designs Using Efficiently Synthesized Assertions.

Mohammad Reza Kakoee Mohammad Riazati Siamak Mohammadi

Published in: ISQED (2008)

Keyphrases

real time
image processing
high level
database
data sets
genetic algorithm
search engine
case study
objective function
multi agent
data structure