Synthesis Categories
Algorithm synthesis
- Synthesis from design requirements to control-flow behavior or abstract behavior
- Largely a manual process
Register-transfer synthesis
- Also referred to as “high-level” or “behavioral” synthesis
- Synthesis from either abstract behavior, control-flow behavior, or register-transfer behavior to register-transfer structure
Logic synthesis
- Synthesis from register-transfer structures or Boolean equations to gate-level logic (or physical implementations using a predefined cell or IC library)
Notes:
These terms and definitions were largely extracted from [Parker84].