System and method for simulating discrete functions using ordere

Details System and method for simulating discrete functions using ordere System and method for simulating discrete functions using ordere

1994-08-02

1998-05-12

Teska, Kevin J.

Boots, shoes, and leggings

364489, 364578, G06G 1750

Patent

active

057520003

ABSTRACT:
A system and method increases discrete function simulator performance by creating a data structure that completely and accurately models a system of discrete function elements. A discrete function simulator simulates the system using the data structure. Sequential circuits are converted into blocks of combinational elements having latch variables stored to and read from memory. The simulator performance is dependent upon the number of system inputs and outputs and not on the number of discrete function elements in the circuit being simulated.

REFERENCES:
patent: 4527249 (1985-07-01), Van Brunt
patent: 4694411 (1987-09-01), Burrows
patent: 4703435 (1987-10-01), Darringer et al.
patent: 4725971 (1988-02-01), Doshi et al.
patent: 4782440 (1988-11-01), Nomizu et al.
patent: 4831543 (1989-05-01), Mastellone
patent: 4967367 (1990-10-01), Piednoir
patent: 5051938 (1991-09-01), Hyduke
patent: 5084824 (1992-01-01), Lam et al.
patent: 5301318 (1994-04-01), Mittal
patent: 5384720 (1995-01-01), Ku et al.
patent: 5392227 (1995-02-01), Hiserote
patent: 5426770 (1995-06-01), Nuber
patent: 5477474 (1995-12-01), Southgate et al.
Miller et al., "Multiple-Valued Logic Design Tools", IEEE, 1993, pp. 2-11.
DeVadas et al., "Optimal Logic Synthesis and Testability Two Faces of the Same Coin", IEEE, 1988, pp. 4-12.
Chakrawarty, "A Characterization of Binary Decision Diagrams", IEEE, 1993, pp. 129-137.
Watanabe et al., "Hewstor Minimization of Mutiple-Valued Relations", IEEE, 1993, pp. 1458-1471.
Miller, "Multiple-Valued Logic Design Tools", IEEE, 1993, pp. 2-11.
Bryant, "Graph Based Algo. for Boolean Function Manipulation," IEEE, 1986, pp. 253-267.
McGeer et al., Fast Discrete Function Evaluation Using D.D, IEEE, 1995, pp. 402-407.
Richard Rudell, "Dynamic Variable Ordering for Ordered Binary Decision Diagrams", 1993 IEEE, pp. 42-47.

Affiliated with

Also associated with

Rating

System and method for simulating discrete functions using ordere does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with System and method for simulating discrete functions using ordere, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and System and method for simulating discrete functions using ordere will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-993822