Slide 1 Package with 4-valued logic Signal Attributes Assertion Data Flow description Slide 2 Few more Examples of Simulation Build a library of logic gates –AND, OR, NAND,…