Logic Synthesis

← Back to Domain-Specific Abstractions by Domain

1 domain-specific abstractions whose origin domain is Logic Synthesis.

• And-inverter graph — A directed acyclic representation of Boolean logic using two-input AND nodes and optional edge inversions.