Completion Optimization for Partially Defined Boolean Functions
Introduces Optimization Opportunities, Opportunity Spaces, Legal Completions, GT, experimental validation, and scalability.
Publications
The GT Synthesis trilogy
Read each paper directly on the web or download the current Microsoft Word manuscript.
Extending Completion Optimization to RTL Designs Through Contextual PDBFs
Introduces contextual reachability, Contextual PDBF extraction, the Vedic multiplier case study, and PDBF Passport reuse.
GT AND Sequential Synthesis: Exploiting Native Sequential Device PDBFs
Establishes that sequential logic is inherently partially defined and introduces the Sequential Opportunity Space.