SAT-Based Scalable Formal Verification Solutions (Series on Integrated Circuits and Systems)

Tunneling and slicing: towards scalable BMC

Proceedings of the 45th annual Design Automation Conference

Completeness in SMT-based BMC for software programs

Proceedings of the conference on Design, automation and test in Europe

Efficient Decision Procedure for Bounded Integer Non-linear Operations Using SMT($\mathcal{LIA}$)

HVC '08 Proceedings of the 4th International Haifa Verification Conference on Hardware and Software: Verification and Testing

Bang for the buck: improvising and scheduling verification engines for effective resource utilization

MEMOCODE'09 Proceedings of the 7th IEEE/ACM international conference on Formal Methods and Models for Codesign

Logic synthesis and circuit customization using extensive external don't-cares

ACM Transactions on Design Automation of Electronic Systems (TODAES)

Verifying UML/OCL models using Boolean satisfiability

Proceedings of the Conference on Design, Automation and Test in Europe

Customizing IP cores for system-on-chip designs using extensive external don't-cares

Proceedings of the Conference on Design, Automation and Test in Europe

Optimizing blocks in an SoC using symbolic code-statement reachability analysis

Proceedings of the 2010 Asia and South Pacific Design Automation Conference

Graph transformation units guided by a sat solver

ICGT'10 Proceedings of the 5th international conference on Graph transformations

Propelling SAT and SAT-based BMC using careset

Proceedings of the 2010 Conference on Formal Methods in Computer-Aided Design

DPLL+ROBDD Derivation applied to inversion of some cryptographic functions

SAT'11 Proceedings of the 14th international conference on Theory and application of satisfiability testing

Efficient state space exploration: interleaving stateless and state-based model checking

Proceedings of the International Conference on Computer-Aided Design

Polynomial graph transformability

Theoretical Computer Science

From graph transformation units via minisat to GrGen.NET

AGTIVE'11 Proceedings of the 4th international conference on Applications of Graph Transformations with Industrial Relevance

A guiding coverage metric for formal verification

DATE '12 Proceedings of the Conference on Design, Automation and Test in Europe