multi-valued logic synthesis - texas am university.pptVIP

Multi-Level Logic Synthesis Introduction Outline Representation Networks Nodes Technology Independent Optimization Technology Dependent Optimization Structured System (combinational logic, memory, I/O) Two-Level (PLA) vs. Multi-Level PLA control logic constrained layout highly automatic technology independent multi-valued logic slower? input, output, state encoding Early Approaches to Multi-Level Optimization Cost Criteria Optimization Cost Criteria Multi-Level is Natural for High Level Synthesis Network Representation Network Representation Network Representation Node Representation Some choices: Merged view (technology and network merged) Separated view technology dependent technology independent node representation general node generic node discrete node Node Representation Sum of Products (SOP) Reduced Ordered BDDs Factored Forms Factored Forms Factored Forms Factored Forms Factored Forma Factored Forms Factored Forms Factored Forms Factored Forms Factored Forms Cofactor of Factored Forms Cofactor of Factored Forms The cofactor of a factored form F, with respect to a cube c, is a factored form FC obtained by successively cofactoring F with each literal in c. Example: F = (x+y’+z)(x’u+z’y’(v+u’)) and c = vz’. Then Fz’ = (x+y’)(x’u+y’(v+u’)) Fz’ v = (x+y’)(x’u+y’) Factored Forms SOPs forms are used as the internal representation of logic functions in most multi-level logic optimization systems. Advantages good algorithms for manipulating them are available Disadvantages performance is unpredictable - they may accidentally generate a function whose SOP form is too large factoring algorithms have to be used constantly to provide an estimate for the size of the Boolean network, and the time spent on factoring may become significant Possible solution avoid SOP representation by using factored forms as the internal representation this is not practical unless we know how to perform logic operations directly on factored forms without converting to SOP forms exten