Combining Simulation with Formal Techniques to Reduce the Overall Verification Cycle

Author(s):

Aneet Agarwal and Gaurav Gupta

Location:

United States

Year:

2010

Type:

Paper

Format:

pdf

Download