Data processing: generic control systems or specific application – Specific application – apparatus or process – Product assembly or manufacturing
Reexamination Certificate
2008-04-22
2008-04-22
Hartman, Jr., Ronald (Department: 2121)
Data processing: generic control systems or specific application
Specific application, apparatus or process
Product assembly or manufacturing
C700S121000, C703S001000, C703S013000, C703S014000, C716S030000, C716S030000
Reexamination Certificate
active
11389084
ABSTRACT:
An automatic digital-circuit design apparatus receives a control target model written in a design description language, generates a control target model represented by a finite state machine model, stores the generated control target model, receives a control specification model written in a design description language, generates a control specification model represented by a finite state machine model, stores the generated control specification model, generates a control apparatus synthesis model by composing the generated control target model and the generated control specification model, computes controllable simulation relation, stores the computed controllable simulation relation, determines whether the control apparatus synthesis model is a model capable of providing the control, generates a permissible operation model, stores the generated permissible operation model, determines a control rule, generates a control apparatus model represented by a finite state machine, and converts the control apparatus model to a control apparatus model written in a design description language.
REFERENCES:
patent: 5623418 (1997-04-01), Rostoker et al.
patent: 5696771 (1997-12-01), Beausang et al.
patent: 6182268 (2001-01-01), McElvain
patent: 6324679 (2001-11-01), Raghunathan et al.
patent: 6378123 (2002-04-01), Dupenloup
patent: 6477683 (2002-11-01), Killian et al.
patent: 6487704 (2002-11-01), McNamara et al.
patent: 6536012 (2003-03-01), Mizuno
patent: 6581191 (2003-06-01), Schubert et al.
patent: 6618839 (2003-09-01), Beardslee et al.
patent: 6760888 (2004-07-01), Killian et al.
patent: 6816825 (2004-11-01), Ashar et al.
patent: 6829753 (2004-12-01), Lee et al.
patent: 6904397 (2005-06-01), Fields et al.
patent: 7139985 (2006-11-01), Jones
patent: 7222315 (2007-05-01), Schubert et al.
patent: 7246331 (2007-07-01), Ward
patent: 2003/0069724 (2003-04-01), Schubert et al.
patent: 2003/0131325 (2003-07-01), Schubert et al.
patent: 2003/0182642 (2003-09-01), Schubert et al.
patent: 2003/0208723 (2003-11-01), Killian et al.
patent: 2004/0025122 (2004-02-01), Schubert et al.
patent: 2005/0005250 (2005-01-01), Jones
patent: 2005/0034090 (2005-02-01), Sato et al.
patent: 2005/0055657 (2005-03-01), Jones
patent: 2005/0125754 (2005-06-01), Schubert et al.
patent: 2006/0085782 (2006-04-01), Ward
patent: 2006/0282813 (2006-12-01), Jones
patent: 2007/0005321 (2007-01-01), Alfieri
patent: 2007/0089075 (2007-04-01), Ward
patent: 2007/0150845 (2007-06-01), Matsuura
patent: 2007/0198959 (2007-08-01), Schubert et al.
patent: 3600420 (2004-09-01), None
Sunil P. Khatri, et al., “Engineering Change in a Non-Deterministic FSM Setting”, Proceedings of the 33rdAnnual Conference on Design Automation, ISBN: 0-89791-779-0, 1996. pp. 451-456.
Hiromi Hiraishi, et al., “Formal Verification Methods based on Logic Function Manipulation”, Journal of Information Processing Society of Japan, vol. 35, No. 8, Aug. 1994, pp. 710-718.
Edmund M. Clarke, et al., “Model Checking”, MIT Press, ISBN: 0-262-03270-8, 2000, pp. 86-95, 180-185, and 3 cover pages.
LandOfFree
Automatic design apparatus, automatic design method, and... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Automatic design apparatus, automatic design method, and..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Automatic design apparatus, automatic design method, and... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-3934600