Data processing: structural design – modeling – simulation – and em – Simulating electronic device or electrical system – Circuit simulation
Reexamination Certificate
2006-11-28
2006-11-28
Ferris, Fred (Department: 2128)
Data processing: structural design, modeling, simulation, and em
Simulating electronic device or electrical system
Circuit simulation
C703S001000, C703S013000, C703S015000, C716S030000, C716S030000, C716S030000, C707S793000, C707S793000, C707S793000
Reexamination Certificate
active
07143020
ABSTRACT:
A method for inferring a requested data input function of a sequential cell from a library of candidate cells, wherein the requested cell and the candidate cell are expressed as polynoms and then divided. The method generates polynomial expressions of the inhibition, transformation and inference steps necessary to convert the candidate cell into the requested cell. The use of polynomial expression and division greatly reduces the number of rules necessary to accommodate the varying combinations of requested cell and candidate cell functions.
REFERENCES:
patent: 5359539 (1994-10-01), Matsumoto et al.
patent: 5491640 (1996-02-01), Sharma et al.
patent: 5991524 (1999-11-01), Belkhale et al.
patent: 6023566 (2000-02-01), Belkhale et al.
patent: 6088519 (2000-07-01), Koford
patent: 6272664 (2001-08-01), Chang et al.
patent: 6415425 (2002-07-01), Chaudhary et al.
patent: 6519609 (2003-02-01), Touzet
patent: 6665844 (2003-12-01), Stanion
patent: 7009421 (2006-03-01), Pugh et al.
patent: 2002/0157063 (2002-10-01), Besson
“Formal Verification In hardware Design” C. Kern, ACM 1084-4309/99/0400, 1999.
“Boolean matching for large libraries”, Hinsberger et al, DAC 98', ACM 1998.
Olivier Touzet, “EpsSeqOpt: optimization of sequential elements for Epsilon (Functional Specification) Revision 1.8”, EpsCellServer: A Library Cell Service for Epsilon, Cadence Design Systems, Inc., Aug. 10, 1998, pp. 1-80.
Shankar Krishnamoorthy et al., “Boolean matching of sequential elements”, 31st ACM/IEEE Design Automation Conference, 1994, pp. 691-697.
Chaudhuri S. et al., “Synthesis using Sequential Functional Modules (SFMs),” Computer-Aided Design, 19996, ICAD-96. Digest of Technical Papers., 1996 IEEE/ACM International Conference On San Jose, CA, USA, Nov. 10-14, 1996, Los Alamitos, CA, USA, IEEE Comput. Soc., US, pp. 436-441.
Cadence Design Systems Inc.
Carpenter John
Ferris Fred
Reed Smith LLP
LandOfFree
Method and system for generic inference of sequential elements does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Method and system for generic inference of sequential elements, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method and system for generic inference of sequential elements will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-3693106