Logic Synthesis: Stages
1Provide verbal problem description.
2Tabulate description as function on finite sets.
3Encode finite sets into bits.
4Transcribe the encoded tables.
5Split into individual switching functions.
6Realize as a network of basic gates.