The NODEN Hardware Description Language,

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 syntax and semantics of NODEN HDL. Great Britain. (rrh)

Document Details

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

Entities

People

  • C. H. Pygott

Organizations

  • Royal Signals and Radar Establishment

Tags

DTIC Thesaurus Topics

  • Language
  • Linguistics
  • Semantics
  • Specifications
  • Translations

Readers

  • Computational Linguistics
  • Software Verification and Validation.