Boolean operators ilke Or, And and Not over the input variables
Canonical Form
Take all the ways in which the function returns 1, use AND over the input variables to get to one and the OR all of such things
Two Input Boolean Function
2^(2^n) - Boolean functions that can be defined over n binary variables
Every operation can be constructed using Nand or Nor functions; Every boolean function can be constructed from Nand alone
Logic Design: The art of interconnecting gates in order to implement more complex functionality →composite gates
Implement the gate specification(interface) in the most efficient way using other gates that were already implemented
In addition to chip’s correctness, the designer will also be interested speed of computation, energy consumption and the overall cost implied by the chip design.
HDL - Hardware Description Language
Header - Describes the Chip interface
Parts - Names and topology of all lower level parts
