Taylor Expansion Diagrams - Home UMass Amhert泰勒展开图-家居阿默斯特分校.pptVIP

Taylor Expansion Diagrams:A Compact Canonical Representationfor Symbolic Verification;Outline;Motivation – RTL Verification ;Common Representations;Binary Decision Diagrams (BDD);Application to Verification;Binary Moment Diagrams (BMD);BMD – Example;*BMD;Symbolic Representation;Taylor Expansion Diagram (TED);Construction - Your First TED;TED – a few Examples;TED - Reduction Rules;TED Normalization;TED: Composition;COMPOSE Operator – ADD/SUB;COMPOSE Operator – MULT;COMPOSE Operation - Example;Properties of TED;TED for Boolean logic;TED for Arithmetic Circuits;Applications to RTL Verification;