Accession Number : ADA247493

Title :   SPECTOOL: User's Manual. Volume 2.

Descriptive Note : Final rept. Jun 90-Feb 91,

Corporate Author : HARRIS CORP MELBOURNE FL GOVERNMENT COMMUNICATION SYSTEMS DIV

Personal Author(s) : Srivas, Mandayam ; Bickford, Mark

Report Date : DEC 1991

Pagination or Media Count : 83

Abstract : This report describes a computer-aided verification tool, called Spectool, for a class of synchronous hardware designs. The tool reduces the effort required for verifying a design in the targeted class by automating most of the routine, but cumbersome, parts of the verification process. The input to the tool is a circuit diagram of the design. This diagram is drawn using the graphical user-interface provided by the tool. Spectool has been used on several examples including a large pipelined microprocessor design. Hardware Verification, Computer Security, Formal Methods.

Descriptors :   *COMPUTERS, *COMPUTER AIDED DESIGN, *USER MANUALS, CIRCUITS, DIAGRAMS, INPUT, INTERFACES, PARTS, TOOLS, VERIFICATION.

Subject Categories : Computer Programming and Software
      Computer Hardware

Distribution Statement : APPROVED FOR PUBLIC RELEASE