Method and apparatus for interpreting and organizing timing spec

Details Method and apparatus for interpreting and organizing timing spec Method and apparatus for interpreting and organizing timing spec

1990-06-26

1993-08-24

Lall, Parshotam S.

Boots, shoes, and leggings

364488, G06F 1560

Patent

active

052394930

ABSTRACT:
A method and apparatus for converting unstructured descriptions of signal timing constraints, which can be entered by a user in a natural-language format, into unambiguous symbolic specification descriptions. The invention also generates file structures containing both the signal characteristics entered by the user and timing-constraint information that may be derived therefrom.

REFERENCES:
patent: 4490811 (1984-12-01), Yianilos et al.
patent: 4821220 (1989-04-01), Duisberg
patent: 4914590 (1990-04-01), Loatman et al.
patent: 4965758 (1990-10-01), Sherman
JEDEC Standard No. 100, JEDEC Solid State Products Engineering Council, Oct. 1982.
McWilliams, T. M., Verification of timing constraints on large digital systems, Ph.D. Thesis, May 1980.
Kara, A. and Rastogi, R. and Kawamura, K., Automate Timing Design, IEEE Design & Test of Computers, 1988.
Alali and Landrault, Simflo: A Symbolic Simulator for Timing Constraints Verification, Proc. of IASTED Int'l Symposium, on Modeling and Simulation 168, 1985.
Camposano and Kunz;mann, "Considering Timing Constraints in Synthesis From a Behavioural Description", Proc. of IEEE Int'l Conference on Computer Design 6, 1986.
Dasarathy, "Timing Constraints of Real-Time Systems: Constructs for Expressing Them, Methods of Validating Them", SE-11 IEEE Transactions on Software Engineering 80, 1985.
Bartlett, Cohen, DeGeus and Hachtel, "Synthesis and Optimization of Multi-Level Logic Under Timing Constraints", Proc. of IEEE Int'l Conference on Computer Design 290, 1985.
Sherman, "Algorithms for Timing Requirement Analysis and Generation" Proc of 25th ACM Design Automation Conference 724, 1988.
Cobourn, An Evaluation of Cleopatra, A Natural Language Interface for CAD, (Carnegi-Mellon University Research Report No. CMUCAD-87-1), Jan. 1987.
Borgida, "Knowledge Representation as the Basis for Requirements Specifications", IEEE Computer, Apr. 1985, at 82.
Bonnet, Schema-Shift Strategies to Understanding Texts in Natural Language, Stanford University Report. No. STAN-CS-79-759, Aug. 1979.
Dyer and Zernik, "Parsing Paradigms and Language Learning", Proc. of First Annual Artificial Intelligence & Advanced Computer Technology Conference 259, 1985.
Excerpts from Sowa, Conceptual Structures: Information Processing in Mind and Machine, Addison Wesley Publishing Co., 1984.

Affiliated with

Also associated with

Rating

Method and apparatus for interpreting and organizing timing spec 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 apparatus for interpreting and organizing timing spec, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method and apparatus for interpreting and organizing timing spec will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-834078