Data processing: structural design – modeling – simulation – and em – Simulating electronic device or electrical system – Circuit simulation
Reexamination Certificate
2008-01-01
2008-01-01
Frejd, Russell (Department: 2128)
Data processing: structural design, modeling, simulation, and em
Simulating electronic device or electrical system
Circuit simulation
C714S738000, C716S030000, C716S030000
Reexamination Certificate
active
07315802
ABSTRACT:
Methods of reducing the amount of logic in a digital circuit without affecting the functionality of the circuit. A circuit description and one or more test patterns are supplied to a fault simulator. The fault simulator runs the test patterns on the circuit, and identifies any nodes that did not transition in either direction (“non-transitioning nodes”). If the test patterns provide full coverage of the desired functionality for the circuit, each of the non-transitioning nodes is unnecessary to the logical functionality of the circuit in the target application. Therefore, the logic driving the non-transitioning nodes is removed from the circuit. The modified circuit can then be re-simulated, if desired, to verify that the relevant functionality of the circuit has not changed.
REFERENCES:
patent: 5384720 (1995-01-01), Ku et al.
patent: 5960188 (1999-09-01), Linke et al.
patent: 6327557 (2001-12-01), Croix
patent: 6721914 (2004-04-01), Bartenstein et al.
Geilert et al., M. On the Efficiency of the Transition Fault Model for Delay Faults, 1990 IEEE International Conference on Computer-Aided Design, Nov. 1990, pp. 272-275.
Bryant et al., R.E. Performance Evaluation of FMOSSIM, a Concurrent Switch-Level Fault Simulator, IEEE, 22nd Conference on Design Automation, Jun. 1985, pp. 715-719.
Kubiak et al., K. Rapid Integrated-Circuit Reliability-Simulation and Its Application to Testing, IEEE Transactions on Reliability, vol. 41, No. 3, Sep. 1992, pp. 458-465.
Heinitz et al., M. Automatic Fault Diagnosis for Scan-Based Designs, Microelectronic Engineering, vol. 31, Feb. 1996, pp. 331-338.
Jin et al., W. FastSlim: Prefetch-Safe Trace Reduction for I/O Cache Simulation, ACM Transactions on Modeling and Computer Simulation (TOMACS), vol. 11, No. 2, Apr. 2001, pp. 135-160.
Kaplan et al., S.F. Trace Reduction for Virtual Memory Simulations, ACM SIGMETRICS Performance Evaluation Review, Proceedings of the 1999 ACM SIGMETRICS International Conference on Measurement and Modeling of the Computer Systems, May 1999, pp. 47-58.
McGeoch, C. Analyzing Algorithms by Simulation: Variance Reduction Techniques ands Simulation Speedups, ACM Computing Surveys, vol. 24, No. 2, Jun. 1992, pp. 195-212.
Kaplan et al., S.F. Flexible Reference Trace Reduction for VM Simulations, ACM Transactions on Modeling and Computer Simulations, vol. 13, No. 1, Jan. 2003, pp. 1-38.
Cartier Lois D.
Frejd Russell
Xilinx , Inc.
LandOfFree
Methods of logic reduction in electrical circuits utilizing... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Methods of logic reduction in electrical circuits utilizing..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Methods of logic reduction in electrical circuits utilizing... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-2790334