1666-2011
Verification Automation Using IPXACT - Jindal and Singla
VAMS-LRM-2-3-1
SystemC n BehaviorCoding Section2