Data processing: structural design – modeling – simulation – and em – Simulating electronic device or electrical system
Patent
1997-11-24
2000-10-17
Teska, Kevin J.
Data processing: structural design, modeling, simulation, and em
Simulating electronic device or electrical system
703 23, 700 12, 714724, G06F 1750, G06G 762
Patent
active
061345121
ABSTRACT:
A system for representing a physical environment comprises a first store for holding a set of state bits, a second store for holding a set of input bits, an input device for inputting a set of initial states of said state bits into said first store, means for implementing a set of state transition functions for manipulating said input bits and said state bits, and means for generating input bits satisfying a set of constrains representing restrictions on the physical environment.
REFERENCES:
patent: 5258919 (1993-11-01), Yamanouchi et al.
patent: 5311521 (1994-05-01), Fitingof et al.
patent: 5331568 (1994-07-01), Pixley
patent: 5706473 (1998-01-01), Yu et al.
Standard Search Report for Application No. 9624935.4, filed Nov. 29, 1996.
Atsushi Takahara et al., A Higher Level Hardware Design Verification, Oct. 3-5, 1988, p. 596-599 IEEE, XP000092906.
Jain P. Et al., Hierarchical Constraint Solving in the Parameteric Form with Applications to Efficient Symbolic Simulation based Verification, Oct. 3-6, 1993, pp. 304-307, IEEE XP000463420.
Aziz a. et al., Minimiying interacting Finite State Machines: A Compositional Approach to Language Containment, Oct. 10-12, 1994, pp. 255-261, IEEE XP000488900.
Coudert et al., Verification of Sequential Machines Using Boolean Functional Vectors, Dec. 13, 1989, pages Int. Workshop on Applied Formal Methods for Correct VLSI Design.
Broda Samuel
Galanthay Theodore E.
Morris James H.
SGS-Thomson Microelectronics Limited
Teska Kevin J.
LandOfFree
System and method for representing physical environment 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 representing physical environment, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and System and method for representing physical environment will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-478399