GT Synthesis Research Library
Two companion papers establish Completion Optimization as a functional optimization stage and extend it to ordinary RTL through Contextual PDBF extraction.
Full-text publication pages
A PDBF represents an Opportunity Space of Legal Completions. Completion Optimization searches that space to select a function leading to a superior implementation before conventional synthesis begins.
Read the full paperUnreachable local terms in ordinary RTL blocks become hidden contextual don't-care conditions, enabling Contextual PDBF extraction and Boolean-function optimization.
Read the full paperUnified contribution
When the specification is already a PDBF, Completion Optimization explores its Legal Completions directly.
When RTL appears fully specified, reachability analysis reveals hidden contextual don't-care conditions.
Downloads