Robust QBF Encodings for Sequential Circuits with Applications to Verification, Debug, and Test

[摘要]：Formal CAD tools operate on mathematical models describing the sequential behavior of a VLSI design. With the growing size and state-space of modern digital hardware designs, the conciseness of this mathematical model is of paramount importance in extendi

[全文传递流程]：

一般上传文献全文的时限在1个工作日内