Download presentation

Presentation is loading. Please wait.

Published byVanessa Billingslea Modified over 2 years ago

1
1 EECS 219B Spring 2001 Node minimization Andreas Kuehlmann

2
2 Node Minimization Problem: –Given a Boolean network, optimize it by minimizing each node as much as possible. Note: –The initial network structure is given. Typically applied after the global optimization, i.e. division and resubstitution. –We minimize the function associated with each node. –What do we mean by minimizing the node “as much as possible”?

3
3 Functions Implementable at a Node In a Boolean network, we may represent a node using the primary inputs {x 1,.. x n } plus the intermediate variables {y 1,.. y m }, as long as the network is acyclic. DEFINITION: A function g j, whose variables are a subset of {x 1,.. x n, y 1,.. y m }, is implementable at a node j if –the variables of g j do not intersect with TFO j –the replacement of the function associated with j by g j does not change the functionality of the network.

4
4 Functions Implementable at a Node The set of implementable functions at j provides the solution space of the local optimization at node j. TFO j = {node i s.t. i = j or path from j to i}

5
5 Local Optimization Goals: Given a Boolean network: –make the network prime and irredundant –for a given node of the network, find a least-cost sumofproducts expression among the implementable functions at the node Note: –Goal 2 implies the goal 1, –But we want more than just 100% testability. There are many expressions that are prime and irredundant, just like in two-level minimization. We seek the best.

6
6 Local Optimization Key Ingredient Network Don't Cares: External don't cares –XDC k, k=1,…,p, - set of minterms of the primary inputs given for each primary output Internal don't cares derived from the network structure –Satisfiability Don’t Cares SDC –Observability Don’t Cares ODC

7
7 SDC Recall: We may represent a node using the primary inputs plus the intermediate variables. –The Boolean space is B n+m. However, the intermediate variables are dependent on the primary inputs. Thus not all the minterms of B n+m can occur: –use the non-occuring minterms as don’t cares to optimize the node function –we get internal don’t cares even when no external don’t cares exist

8
8 SDC Example: y 1 = F 1 = x 1 y j = F j = y 1 x 2 –Since y 1 = x 1, y 1 x 1 never occurs. –Thus we may include these points to represent F j Don't Cares –SDC = (y 1 x 1 )+(y j y 1 x 2 ) In general, Note: SDC B n+m

9
9 ODC y j = x 1 x 2 + x 1 x 3 z k = x 1 x 2 + y j x 2 + (y j x 3 ) Any minterm of x 1 x 2 + x 2 x 3 + x 2 x 3 determines z k independent of y j. The ODC of y j for z k is the set of minterms of the primary inputs for which the value of y j is not observable at z k This means that the two Boolean networks, –one with y j forced to 0 and –one with y j forced to 1 compute the same value for z k when x ODC jk

10
10 Don't Cares for Node j FjFjFjFj inputs outputs ODC S D C Define the don't care sets DC j for a node j as ODC and SDC illustrated: Boolean network

11
11 Minimizing Local Functions Once an incompletely specified function (ISF) is derived, we minimize it. 1. Minimize the number of literals –Minimum literal() in the slides for Boolean division 2. The offset of the function may be too large. –Reduced offset minimization (built into ESPRESSO in SIS) –Tautologybased minimization If all else fails, use ATPG techniques to remove redundancies.

12
12 ATPG MultiLevel Tautology: Idea: Use testing methods. (ATPG is a highly developed technology). If we can prove that a fault is untestable, then the untestable signal can be set to a constant. This is like expansion in Espresso.

13
13 Removing Redundancies Redundancy removal: do random testing to locate easy tests apply new ATPG methods to prove testability of remaining faults. –if non-testable for s-a-1, set to 1 –if non-testable for s-a-0, set to 0 Reduction (redundancy addition) is the reverse of this. It is done to make something else untestable. There is a close analogy with reduction in espresso. Here also reduction is used to move away from a local minimum. & reduction = add an input Used in transduction (Muroga) Global flow (Bermen and Trevellan) Redundancy addition and removal (Marek-Sadowska et. al.) c b a d

Similar presentations

Presentation is loading. Please wait....

OK

ECE 667 Synthesis and Verification of Digital Systems

ECE 667 Synthesis and Verification of Digital Systems

© 2017 SlidePlayer.com Inc.

All rights reserved.

Ads by Google

Ppt on community based disaster management for class 9 Pulmonary anatomy and physiology ppt on cells Ppt on wind power plant Cathode ray tube display ppt on tv Ppt on air water and land pollution Ppt on weapons of mass destruction Ppt on forward rate agreement explain Ppt on conference call etiquette images Ppt on front office management in hospital Ppt on central bank of india