Titlebook: VLSI Specification, Verification and Synthesis; Graham Birtwistle,P. A. Subrahmanyam Book 1988 Springer Science+Business Media New York 19

plasma

Book 1988k represents some of the discussions and presentations at a workshop on hardware verification held in Calgary, January 12-16 1987. The thrust of the workshop was to give the floor to a few leading researchers involved in the use of formal approaches to VLSI design, and provide them ample time to dev

LIKEN

HOL: A Proof Generating System for Higher-Order Logic, is then described. This is followed by an introduction to goal-directed proof with . and .. Finally, there is a little example of the system in action which illustrates how HOL can be used for hardware verification.

引起

Formal Verification and Implementation of a Microprocessor,escribe several related examples of hardware verification based on Gordon’s computer and other microprocessor designs. Finally, we report experience in using a formal specification to implement Gordon’s computer as a 5,000 transistor CMOS microchip.

Curmudgeon

Hardware Verification in the Interactive VHDL Workstation, hardware and how these tools interact with other parts of the IVW workstation being developed at General Electric Research and Development Center (GE CRD). This is of necessity a preliminary document, as our work in developing an environment for highly automatic verification of hardware is at an early stage.

COLIC

熱烈的歡迎

針葉類的樹

以煙熏消毒

GRAZE