Towards verifying determinism of SystemC designs.

Hoang Minh Le Rolf Drechsler

Published in: DATE (2014)

Keyphrases

expert systems
model checking
genetic algorithm
image processing
similarity measure
cooperative
design space