Accession Number:

ADA247492

Title:

SPECTOOL: A Computer-Aided Verification Tool for Hardware Designs. Volume 1.

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:

1991-12-01

Pagination or Media Count:

94.0

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
• CIRCUITS
• DIAGRAMS
• INPUT
• INTERFACES
• PARTS
• TOOLS
• VERIFICATION

Subject Categories:

• Computer Programming and Software
• Computer Hardware

Distribution Statement:

APPROVED FOR PUBLIC RELEASE