A Symbolic Partial Order Method for Verifying SystemC.

Naiju Zeng Wenhui Zhang

Published in: APSEC (1) (2014)

Keyphrases

partial order
dynamic programming
similarity measure
total order
objective function
probability distribution
multi dimensional
constraint satisfaction