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

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.

Document Details

Document Type
Technical Report
Publication Date
Dec 01, 1991
Accession Number
ADA247492

Entities

People

  • Mandayam Srivas
  • Mark Bickford

Organizations

  • Harris Corporation

Tags

DTIC Thesaurus Topics

  • Computers
  • Computing Devices
  • Cooperation
  • Cybersecurity
  • Graphical User Interface
  • Microprocessors
  • Security
  • User Interface
  • Verification

Fields of Study

  • Computer science

Readers

  • Database Systems and Applications
  • Integrated Circuit Design and Technology.

Technology Areas

  • Cyber