Now showing items 24-43 of 74

  • Extending Symmetric Variable-Pair Transitivities Using State-Space Transformations 

    Maurer, Peter (2011-05-13)
    Two-cofactor relations and their associated symmetry types have been studied for many years. While ordinary symmetries are simply transitive permitting them to be combined into clusters of variables, other types of symmetries ...
  • The FHDL LCC Simulator 

    Maurer, Peter M. (2009-11-13)
    This software is the levelized compiled code simulator for the FHDL system. Given a .ckt file, it will compile the file into a C program that simulates the circuit. The C program will be compiled into an executable by the ...
  • The FHDL Manual 

    Maurer, Peter M. (2009-10-28)
    The Functional Hardware Design Language can be used to create all parts of a digital design. It can be used to design logic-level circuits with ordinary gates, flip-flops and mid-sized functional blocks. It is hierarchical ...
  • The FHDL Rom Tools 

    Maurer, Peter M. (2009-11-13)
    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 ...
  • Fields and Cyclic Codes for Error Detection 

    Hess, Rachel N. (2014-01-14)
    This technical report discusses some of the aspects of error detection using finite fields.
  • The Functional Hardware Design Language 

    Maurer, Peter M. (2009-10-28)
    The Functional Hardware Design Language is an expandable language that is designed to make it easy to specify gate-level. FHDL currently supports the specification of gates, high-level functional blocks, state machines, ...
  • Functions to Expand a PostgreSQL Database 

    Dixon, Brandon; Duvall, Greg; Liu, Simon (2009-12-16)
    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.
  • The General Linear Group of GF(2)^3 

    Maurer, Peter M. (2012-01-19)
    This technical report lists all 3x3 matrices over GF(2). Each matrix is listed along with its order and its inverse. At the end is a summary of the number of matrices belonging to each order.
  • The General Linear Group of GF(2)^4 

    Maurer, Peter M. (2012-01-19)
    This technical report lists all 4x4 matrices over GF(2). Each matrix is listed along with its order and its inverse. At the end is a summary of the number of matrices belonging to each order.
  • Generator Pairs for all 4x4 GF(2) Representations of S4 

    Maurer, Peter M. (2013-09-20)
    There are nine conjugacy classes of faithful representations of S4 in the general linear group of 4x4 matrices. This report gives generator matrices for one group in each class. These generator pairs allow each of the ...
  • The GF(2) General Linear Group for Dimensions 2, 3, 4, and 5 

    Maurer, Peter M. (2009-04-15)
    This report contains some data about the General Linear Groups of GF(2) for dimensions 2, 3, 4, and 5. These groups are groups of matrices over GF(2), the integers modulo 2. The General Linear Group of order is the set ...
  • : GF2Matrices 

    Maurer, Peter M. (2009-03-31)
    This is the software described in the technical report “The GF2Matrices Classes: A Programming Package for Mathematical Research.” Over the past few years I have been engaged in an intense study of GF(2) matrices, especially ...
  • The GF2Matrices Classes: A Programming Package for Mathematical Research 

    Maurer, Peter M. (2009-03-31)
    Over the past few years I have been engaged in an intense study of GF(2) matrices, especially of dimensions 2, 3, 4, and 5. The software I used for this study was mostly a bunch of ad-hoc subroutines scattered over numerous ...
  • The Hyper-Linear Package 

    Maurer, Peter M. (2009-11-13)
    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 ...
  • HyperSim 

    Maurer, Peter M. (2009-11-13)
    This software package implements the simulation algorithm described in the tech report “Using GF(2) matrices in Simulation and Logic Synthesis” found in this archive. (http://hdl.handle.net/2104/5263). This package is part ...
  • The Inversion Algorithm for Digital Simulation 

    Maurer, Peter M. (2009-11-05)
    The Inversion Algorithm is an event-driven algorithm, whose performance rivals or exceeds that of Levelized Compiled code simulation, even at activity rates of 50% or more. The Inversion Algorithm has several unique ...
  • The Inversion-Algorithm Software 

    Maurer, Peter M. (2009-11-13)
    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 ISCAS85 Benchmarks in FHDL Format 

    Maurer, Peter M. (2009-11-13)
    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 ISCAS89 Benchmarks in FHDL Format 

    Maurer, Peter M. (2009-11-13)
    The .zip file contains each of the ISCAS89 Benchmarks in FHDL format. Also included is a random vector generator file for each circuit. (For what it’s worth.) The generators are written in the DGL language.
  • Matrix Representations of GF(p[superscript n]) over GF(p) 

    Maurer, Peter M. (2014-01-31)
    We show that any non-singular nxn matrix of order p[superscript n]-1 over GF(p) is a generator of a matrix representation of GF(p[superscript n]). We also determine the number of matrix representations of GF(p[superscript ...