Methodology and apparatus for modular partitioning for the machi

Details Methodology and apparatus for modular partitioning for the machi Methodology and apparatus for modular partitioning for the machi

1994-06-06

1995-11-21

Teska, Kevin J.

Boots, shoes, and leggings

364488, G06F 1750

Patent

active

054693675

ABSTRACT:
A machine methodology for designing asynchronous circuits utilizes a modular approach for the synthesis of asynchronous circuits from signal transition graphs, partitions the signal transition graph into a number of simpler and more manageable modules. Each modular graph is then individually solved. The results of the small graphs are then integrated together to provide a solution to the asynchronous circuit design problem as defined by a given asynchronous behavioral specification. A satisfiability solver for Boolean output function utilizing a binary decision diagram is incorporated in one embodiment which is comprised of a structural SAT formula preprocessor and a complete, incremental SAT processor which is specifically designed to find an optimal solution. The preprocessor compresses a large size SAT formula representing a circuit into a number of smaller SAT formulas. Each small size SAT formula is then solved by the BDD SAT processor. The results of these subsolutions are then integrated together to contribute to the solution of the original larger design problem.

REFERENCES:
patent: 4912348 (1990-03-01), Maki et al.
patent: 4937765 (1990-06-01), Shupe et al.
patent: 5005136 (1991-04-01), Van Berkel et al.
patent: 5331568 (1994-07-01), Pixley
patent: 5371683 (1994-12-01), Fukazawa et al.

Affiliated with

Also associated with

Rating

Methodology and apparatus for modular partitioning for the machi does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Methodology and apparatus for modular partitioning for the machi, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Methodology and apparatus for modular partitioning for the machi will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-1142665