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 : DEC 1991
Pagination or Media Count : 94
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
Distribution Statement : APPROVED FOR PUBLIC RELEASE