Now showing items 1-10 of 41
The ISCAS85 Benchmarks in FHDL Format
The three files that constitute this tech report are ISCAS85.fhdl.zip, ISCAS85.InputVectors.zip, and ISCAS85.VectorGenerators.zip. The first file contains the 10 ISCAS85 benchmarks in FHDL format, plus the smoke-test circuit ...
The Inversion-Algorithm Software
The software in this package implements four versions of the Inversion algorithm. Four executable files are produced.These executables are used in much the same way as the FHDL package, but only AND, OR, NAND, NOR, NOT, ...
The EVCF Software Package
This is the software described in the technical report “Event Driven Simulation without Loops or Conditionals” available from this archive. This package is part of the FHDL system and must be installed in your FHDL directory.
The Shadow Algorithm Software Package
This is the software described in the technical report “The Shadow Algorithm: …” available from this archive. This package is part of the FHDL system and must be installed in your FHDL directory.
MKWHAT: A Compiler-Development Tool for Fast Keyword Recognition
Although compiler keywords can be recognized directly in LEX (or flex) these tools are rather slow. MKWHAT is a tool that can be used to generate a keyword recognizer that will recognize key words using a minimal number ...
Functions to Expand a PostgreSQL Database
This is a set of functions to expand a PostgreSQL database via functions which analyze and manipulate graphs. The functions are internal, written in c. The import/export functions (using GraphML) are written in Java.
Hibernate is an open source ORM (Object Relational Mapping) tool. It maps objects into a relational database and vice versa. Hibernate persists objects of a class in a relational database so that they can be retrieved even ...
The Hyper-Linear Package
The Hyper-Linear package is the core of the hyper-linear simulation technique described in Reference 1. Given the specification of a Boolean function, the package will detect all partial and total symmetries and return the ...
The FHDL Rom Tools
The FHDL (Functional Hardware Design Language) ROM tools provide a method for specifying, simulating, and automatically laying out ROMs. The primary focus of the ROM tools is on providing powerful methods for specifying ...
TOKDEC: A Tool for Compiler Debugging
TOKDEC is a tool that helps create compiler debugging code by converting numeric tokens into character strings. It is meant to be used with the output of the “yacc” preprocessor.