verification by challenge
1.property verification
2.Scientific verification
3.verification of traces
5.ASIC Verification Technigue
8.verification of documents
10.DSO Automation Verification


