Symbolic Quick Error Detection for Pre-Silicon and Post-Silicon Validation: Frequently Asked Questions

Eshan Singh, David Lin, Clark Barrett, Subhasish Mitra. Symbolic Quick Error Detection for Pre-Silicon and Post-Silicon Validation: Frequently Asked Questions. IEEE Design & Test of Computers, 33(6):55-62, 2016. [doi]

Authors

Eshan Singh

This author has not been identified. Look up 'Eshan Singh' in Google

David Lin

This author has not been identified. Look up 'David Lin' in Google

Clark Barrett

This author has not been identified. Look up 'Clark Barrett' in Google

Subhasish Mitra

This author has not been identified. Look up 'Subhasish Mitra' in Google