The Algebra of the NODEN Analyser

Abstract

NODEN is a suite of programs designed to perform hardware analysis on moderately complex blocks of logic, to prove the correspondence between the specification and implementation of a circuit. It is intended that circuits to be analysed should be described in the NODEN Hardware Description Language, NODEN HDL (either directly or by translation from other hardware description languages such as ELLA, HILO etc). The following paper describes the basic features of NODEN and the circuits it can reason about. The bulk of the paper describes the operations performed by the analyser in terms of set operations. There is also a discussion of the possible representations that can be used for sets, and the operations on them. This leads to a comparison of the performance of a number of different analysers, based on different internal representations, when used on an actual application. Great Britain.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Aug 01, 1989
Accession Number
ADA213422

Entities

People

  • C. H. Pygott

Organizations

  • Royal Signals and Radar Establishment

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Abstracts
  • Algorithms
  • Analyzers
  • Arithmetic
  • Arithmetic Units
  • Circuits
  • Compilers
  • Instructions
  • Language
  • Law
  • Logic
  • Memory Devices
  • Nand Gates
  • Specifications
  • Test And Evaluation
  • Verification

Readers

  • Applied Combinatorial Optimization and Logic Circuit Design.
  • Computational Linguistics
  • Computer Science.