Scalable Hardware Synthesis and Verification with Craig Interpolation
Hardware Equivalence and Property Verification
Quantifier Elimination via Functional Composition
English Technical Writing
Inductive Equivalence Checking under Retiming and Resynthesis
Scalable Exploration of Functional Dependency by Interpolation and Incremental SAT Solving
A Statistical Approach to the Timing-Yield Optimization of Pipeline Circuits