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

reportActive / Technical Report | Accession Number: ADA247492 | Need Help?

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.

Author(s):
Srivas, Mandayam ; Bickford, Mark
Author Organization(s):
HARRIS CORP MELBOURNE FL GOVERNMENT COMMUNICATION SYSTEMS DIV
Descriptive Note:
Final rept. Jun 90-Feb 91,
Supplementary Note:
See also Volume 2, AD-A247 493. Prepared in cooperation with ORA corp., Ithaca, NY.
Pagination:
0094

Security Markings

DOCUMENT & CONTEXTUAL SUMMARY

Distribution:
Approved For Public Release

RECORD

Collection: TR
Identifying Numbers
Report Number(s):
RL*-TR-91-339-VOL-1
Contract/Grant Number(s):
F30602-89-D-0096
Task Number(s):
8
Project Number(s):
3109
Monitor Series:
TR-91-339-VOL-1, RL*
 Subject Terms
Communities of Interest:
No COI(s) Identified
Descriptor(s):
*COMPUTERS, *COMPUTER AIDED DESIGN, CIRCUITS, DIAGRAMS, INPUT, INTERFACES, PARTS, TOOLS, VERIFICATION
Field(s)/Group(s):
Computer Programming and Software, Computer Hardware
Keyword(s):
*Synchronous computers, WURL31098F3, PE63214C
Report Date:
1991 Dec 01