Browse Prior Art Database

Boolean Analysis Approach to Functional Macro Generation

IP.com Disclosure Number: IPCOM000088386D
Original Publication Date: 1977-Jun-01
Included in the Prior Art Database: 2005-Mar-04
Document File: 1 page(s) / 12K

Publishing Venue

IBM

Related People

Bailey, DL: AUTHOR [+4]

Abstract

Functional macros are built through a process of analyzing Boolean equations. Higher level logic is created based on functional macro partition of given micro logic and conventional symbology. Logical equivalence between the macros generated and the micro function is provided along with logical and physical integrity not available with manual methods.

This text was extracted from a PDF file.
This is the abbreviated version, containing approximately 80% of the total text.

Page 1 of 1

Boolean Analysis Approach to Functional Macro Generation

Functional macros are built through a process of analyzing Boolean equations. Higher level logic is created based on functional macro partition of given micro logic and conventional symbology. Logical equivalence between the macros generated and the micro function is provided along with logical and physical integrity not available with manual methods.

The process is well suited to automation by a series of programs which perform the following steps: (a) Select a given group of logic subfunction (partition), representing the functional macro. (b) Find the inputs and the outputs of the functional macro. (c) Build Boolean equations for each output in terms of other outputs or inputs. (d) Analyze these Boolean equations to generate the equivalent logic description.

A typical logic partition (Fig. 1) aids in understanding an exemplary implementation of the process. That is, by performing step (a), the logic shown in Fig. 1 is selected. The nets are described by decimal integers '1' to '7'. Step
(b) gives functional macro inputs as '1' to '4' and functional macro output as '5'. Step (c) gives the following Boolean equation: (5) = 0R(A(1,2),A(3,4)) In this equation, output '5' is described by the functions and all the inputs '1' to "4'.

Step (d) performs the Boolean analysis. The above equation suggests that output is a function of 'OR'. However, the arguments of 'OR' are both "A" functions, suggesting that this i...