When to stop verification?: Statistical trade-off between expected loss and simulation cost

Sumit Kumar Jha, Christopher James Langmead, Swarup Mohalik, S. Ramesh. When to stop verification?: Statistical trade-off between expected loss and simulation cost. In Design, Automation and Test in Europe, DATE 2011, Grenoble, France, March 14-18, 2011. pages 1309-1314, IEEE, 2011. [doi]

Authors

Sumit Kumar Jha

This author has not been identified. Look up 'Sumit Kumar Jha' in Google

Christopher James Langmead

This author has not been identified. Look up 'Christopher James Langmead' in Google

Swarup Mohalik

This author has not been identified. Look up 'Swarup Mohalik' in Google

S. Ramesh

This author has not been identified. It may be one of the following persons: Look up 'S. Ramesh' in Google