VLSI Systems: Automated Synthesis and Optimization, Validation and Verification of Digital VLSI Systems, Including: Formal Verification of Rtl Descriptions, New Techniques to Guide Cnf-Sat Search, Using Groebner's Proof Systems for Simplification of Design Verification and Sat Solving, and Design Automation for Optic/photonic Logic

1 faculty research VLSI Systems: Automated Synthesis and Optimization, Validation and Verification of Digital VLSI Systems, Including: Formal Verification of Rtl Descriptions, New Techniques to Guide Cnf-Sat Search, Using Groebner's Proof Systems for Simplification of Design Verification and Sat Solving, and Design Automation for Optic/photonic Logic on GradNova.