Deciding CLU Logic Formulas via Boolean and Pseudo-Boolean Encodings

  title={Deciding CLU Logic Formulas via Boolean and Pseudo-Boolean Encodings},
  author={Eric Bryant and Shuvendu K. Lahiri and Sanjit A. Seshia},
Highly Cited
This paper has 21 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.


Publications citing this paper.
Showing 1-10 of 15 extracted citations

SMT(CLU): A Step toward Scalability in System Verification

2006 IEEE/ACM International Conference on Computer Aided Design • 2006
View 7 Excerpts
Highly Influenced

Scalable Symbolic Simulation-Based Automatic Correction of Modern Processors

IEEE Transactions on Very Large Scale Integration (VLSI) Systems • 2018
View 1 Excerpt


Publications referenced by this paper.
Showing 1-10 of 11 references

Bryant . Modeling and veri ation of outoforder mi ropro essors using u lid

Sanjit A. Seshia, E. Randal

Che king satis ability of rstorder formulasby in remental translation to SAT

D. Dill, A. Stump.

De iding Separation Formulas with SAT ?

E. OferStrihmanSanjitA.SeshiaRandal, BryantComputer

Modeling and veri a tion of out-of-order mi ropro essors using u lid

Shuvendu Lahiri, Sanjit A. Seshia, Randal E. Bryant
In Formal Methods in Computer Aided Design (FMCAD '02), • 2002

Optimizations in de ision pro edures for propositional linear in equalities

O. Stri hman
Te hni al Report CMU-CS-02-133, • 2002

De iding equality formulas by small-domain instantiations

A. Pnueli, Y. Rodeh, O. Shtri hman, M. Siegel
Computer Aided Veri ation, • 1999

Similar Papers

Loading similar papers…