Towards analyzing functional coverage in SystemC TLM property checking.

Hoang Minh Le Daniel Große Rolf Drechsler

Published in: HLDVT (2010)

Keyphrases

case study
data structure
multiresolution
functional analysis
database
real world
clustering algorithm
power consumption
desirable properties
monotonicity property