GT Theory
A shared language for functional optimization
The trilogy introduces a consistent set of concepts for discovering, representing, searching, and reusing functional freedom.
Partially Defined Boolean Function
A Boolean specification whose outputs are required only on a subset of input terms.
Optimization Opportunity
Each unspecified value is a legal decision that can alter implementation quality.
Opportunity Space
The set of all assignments to the Optimization Opportunities.
Legal Completion
A Fully Defined Boolean Function that preserves every specified term.
Completion Optimization
Searching Legal Completions according to implementation objectives before conventional synthesis.
Contextual PDBF
A PDBF exposed by local reachability constraints in a complete RTL design.
Sequential Device PDBF
The pair SP=(R,U), where R is reachable behavior and U is unreachable behavior.
Sequential Opportunity Space
All legal assignments over U that preserve R exactly.
PDBF Passport Library
A reusable library of optimized implementations and measured structural properties.