A Data Structure for VLSI Synthesis and Verification,

Abstract

This document describes a VLSI design representation developed at USC as part of the USC Expert Synthesis System project. The data structure is implementation-independent and can be regarded as a general hardware design representation schema. It is characterized by four nonisomorphic hierarchies, which collectively describe the system under design. It is useful for the analytic detection of some kinds of design errors. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Oct 28, 1983
Accession Number
ADA137880

Entities

People

  • A. C. Parker
  • D. W. Knapp

Organizations

  • University of Southern California

Tags

Communities of Interest

  • Advanced Electronics
  • Energy and Power Technologies

DTIC Thesaurus Topics

  • Arithmetic Units
  • Circuit Boards
  • Circuits
  • Computer Programming
  • Computers
  • Construction
  • Databases
  • Diagrams
  • Electrical Engineering
  • Electronic Components
  • Expert Systems
  • Human-Machine Interfaces
  • Instructions
  • Physical Properties
  • Printed Circuits
  • Rdx
  • Schematic Diagrams

Readers

  • Database Systems and Applications
  • Graph Algorithms and Convex Optimization.