1. 9/15/09 - L13 Technology Mapping & Verificaiton Copyright 2009 - Joanne DeGroat, ECE, OSU1 Technology Mapping and Verification

2. 9/15/09 - L13 Technology Mapping & Verificaiton Copyright 2009 - Joanne DeGroat, ECE, OSU2 Class 13 – Technology mapping  NAND-NAND  NOR-NOR  Material from section 3-3 and 3-4 of text

3. Why does this matter?  So far the minimization techniques have taught us how to reduce to AND-OR or OR-AND gate circuits.  However, in MOS technology an AND gate is not directly implementable. A NAND gate is so an AND would be implemented by using an NAND followed by and inverter.  A NOR gate is also implementable so an OR gate is implemented by a NOR gate followed by and inverter. 9/15/09 - L13 Technology Mapping & Verificaiton Copyright 2009 - Joanne DeGroat, ECE, OSU3

4. AND-OR  Start with the following circuit modification which results in no change in the output.  As 9/15/09 - L13 Technology Mapping & Verificaiton Copyright 2009 - Joanne DeGroat, ECE, OSU4

5. What is that gate?  An inverted input OR gate? 9/15/09 - L13 Technology Mapping & Verificaiton Copyright 2009 - Joanne DeGroat, ECE, OSU5

6. Redrawing AND-OR circuit  AND-OR can be implemented as NAND-NAND 9/15/09 - L13 Technology Mapping & Verificaiton Copyright 2009 - Joanne DeGroat, ECE, OSU6

7. Larger number of input gates  This works the same if you have three input gates, four input gates, etc.  AND-OR can be directly implemented by NAND-NAND 9/15/09 - L13 Technology Mapping & Verificaiton Copyright 2009 - Joanne DeGroat, ECE, OSU7

8. By the property of duals  AND-OR implemented by NAND-NAND  OR-AND implemented by NOR-NOR  A very similar derivation. 9/15/09 - L13 Technology Mapping & Verificaiton Copyright 2009 - Joanne DeGroat, ECE, OSU8

9. Inverter modifications  Circuit simplifications by manipulation of inverters.  Canceling  Pushing through a dot. 9/15/09 - L13 Technology Mapping & Verificaiton Copyright 2009 - Joanne DeGroat, ECE, OSU9

10. Actual implementation  Today, the CAD tools often isolate you from much of this.  However, because of the implementation specifics of reconfigurable hardware you need to know this as you often have to slightly modify how a circuit is implemented. Redrive a signal Gate types that are available. 9/15/09 - L13 Technology Mapping & Verificaiton Copyright 2009 - Joanne DeGroat, ECE, OSU10

11. The final step – Verification.  Verification plays a vital role in insuring that a faulty design is not implemented.  Today, most digital designs are done in an HDL. (Hardware Description Language)  Manual analysis – Through truth tables and hand simulation through a gate diagram. 9/15/09 - L13 Technology Mapping & Verificaiton Copyright 2009 - Joanne DeGroat, ECE, OSU11

12. Automated  Use an HDL simulation system  Use a system such a XILINX or ALTERA  HDL code on next slide 9/15/09 - L13 Technology Mapping & Verificaiton Copyright 2009 - Joanne DeGroat, ECE, OSU12

13. HDL code for the equations  ENTITY BCD_to_E3 IS PORT(A,B,C,D : IN BIT; W,X,Y,Z : OUT BIT); END BCD_to_E3; ARCHITECTURE one OF BCD_to_E3 IS BEGIN W <= A or (B and C) or (B and D); X <= (not B and C) or (not B and D) or (B and not C and not D); Y <= (C and D) or not(C or D); Z <= not D; END one;  Very readable!! 9/15/09 - L13 Technology Mapping & Verificaiton Copyright 2009 - Joanne DeGroat, ECE, OSU13

14. Test Stimuli  Can create a testbench to apply stimulus to the design. 9/15/09 - L13 Technology Mapping & Verificaiton Copyright 2009 - Joanne DeGroat, ECE, OSU14

15. And the resulting simulation  The window showing simulation results 9/15/09 - L13 Technology Mapping & Verificaiton Copyright 2009 - Joanne DeGroat, ECE, OSU15

16. Just the waveform  The waveform as a.jpg file 9/15/09 - L13 Technology Mapping & Verificaiton Copyright 2009 - Joanne DeGroat, ECE, OSU16

17. Class 13 assignment  Covered sections 3-3 and 3-4  Problems for hand in 3-16  Problems for practice 3-15, 3-17, 3-20  Reading for next class: sections 3-5 and 3-6 9/15/09 - L13 Technology Mapping & Verificaiton Copyright 2009 - Joanne DeGroat, ECE, OSU17