Tool which automatically produces an abstract specification of a

Details Tool which automatically produces an abstract specification of a Tool which automatically produces an abstract specification of a

1995-08-16

1998-03-31

Elmore, Reba I.

Boots, shoes, and leggings

364489, 364491, 395921, G06F 1750

Patent

active

057345724

ABSTRACT:
A tool for verifying a process for producing a physical system by automatically deducing the functional description of the system produced. From the concrete description GND which contains the elements of a physical system and the connections between these elements, the tool automatically deduces the functional description VHD of this system with the aid of an inference engine MOTINF and a filter FILTER. The inference engine selects rules from a library GRL and programmed functions for loading into the filter. Once loaded, the filter regroups the elements of the description GND, thus producing a structural abstraction of the description GND, and simultaneously produces a functional description of each regrouping in formal language. The accumulation of the functional descriptions thus obtained provides the functional description VHD of the system.

REFERENCES:
patent: 4613940 (1986-09-01), Shenton et al.
patent: 5262959 (1993-11-01), Chkoreff
patent: 5493508 (1996-02-01), Dongelo et al.
Kostelijk, "VERA, a Rule-Based Verification Assistant for VLSI Circuit Design", Proceedings of the Internation Conference on Very Large Scale Integration, Munich, Germany. Aug. 1989.
Proceedings of the European Conference on Design Automation 16 Mar. 1992, Brussels, Belgium; pp. 458-462, Deverchere et al, "Functional Abstraction and Formal Proof of Digital Circuits", Deverchere et al.
IEEE Journal of Solid-State Circuits, vol. 26, No. 3, Mar. 1991, NY, US, pp. 394-402; Kostelijk et al. "Automatic Verification of Library-Based IC Designs".
24th ACM/IEEE Design Conference, 1987, "A Rule Based Circuit Representation for Automated CMOS Design and Verification", Wu et al. pp. 786-792.

Affiliated with

Also associated with

Rating

Tool which automatically produces an abstract specification of a does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Tool which automatically produces an abstract specification of a, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Tool which automatically produces an abstract specification of a will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-56847