Research Interests

• Formal Verification
• Symbolic Computer Algebra
• Arithmetic Circuits
• Debugging
• Complexity of Verification Techniques
• High-Level Synthesis

Research Websites

SCA-based Verification

• This website provides formal verification solutions based on Symbolic Computer Algebra (SCA) for complex arithmetic circuits, such as multipliers.

GenMul

• GenMul is a multiplier generator which outputs multiplier circuits in Verilog. The input size of a multiplier and each multiplier stage can be configured with GenMul.