NODEN User's Guide and Installation Manual
Abstract
This section will describe the basis operation of the NODEN tool set. The detailed operation of the compiler, analyser and comparison programs will be described in later sections. The installation of these tools are described in the appendices. In all examples in this memo it is assumed that the advice in the installation guide has been followed and that the compiler, analyser and comparison programs have the logical names 'noden', 'analysis' and 'compare' respectively. The aim of the NODEN tool set is to show that an implementation meets its specification under all circumstances. That is, the user starts by specifying how the outputs of a device depend upon the state of its inputs, and also how the device is to be implemented as a network of gates. The NODEN tools then attempt to show that for all input conditions the implemented behaviour is compatible with that specified. This means that the user starts with two files in the NODEN Hardware Description Language (NODEN HDL Pygott 1): one for the specification and the other for the implementation. Whilst the two files have the same root name, the specification must have the extension 'noden' and the implementation 'cnoden'. A simple example of the use of NODEN is given in appendix C.1. The specification says that the output op is the exclusive OR function of the two inputs a and b.
Document Details
- Document Type
- Technical Report
- Publication Date
- Nov 01, 1990
- Accession Number
- ADA231319
Entities
People
- C. H. Pygott
Organizations
- Royal Signals and Radar Establishment