Now showing items 21-40 of 141

  • Categories for Component Level Design 

    Maurer, Peter M. (2009-02-18)
    Several research problems are discussed, including communication mechanisms and the interface between components and the glue logic used to tie them together. A technique for engineering new component-level applications ...
  • The Complexity of Detecting Symmetric Functions 

    Maurer, Peter M. (2009-02-18)
    The characterization of the symmetries of boolean functions is important both in automatic layout synthesis, and in automatic verification of manually created layouts. It is possible to characterize the symmetries of an ...
  • 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 ...
  • : 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 ...
  • Evaluating Impulse C and multiple parallelism partitions for a low-cost reconfigurable computing system. 

    Li Shen, Carmen C. (2009-04-01)
    Impulse C is a C-to-HDL compiler from Impulse Accelerated Technology that facilitates the introduction of software programmers, mathematicians, and scientists, into the realm of FPGA-based algorithm development for high-speed ...
  • Converting coconut husks into binderless particle board. 

    Greer, Stanton. (2009-04-01)
    Coconuts grow abundantly in tropical regions, and the coconut husk is often discarded as waste. However, a new application has increased interest in developing this previously underutilized resource. Coconut pith has ...
  • Implementation of lossless compression algorithms for the MIL-STD-1553. 

    Lam, Bernard O. (2009-04-01)
    This thesis focuses on the bandwidth limitations faced by the legacy MIL-STD-1553 data bus. In order to improve bandwidth performance, lossless implementations of data compression routines have been proposed. Using data ...
  • 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 ...
  • Metamorphic programming 

    Maurer, Peter M. (2009-04-15)
    Metamorphic programming is an effective tool for creating efficient and elegant solutions to many programming problems, at least once you get over the shock of seeing code that violates many of the accepted rules of good ...
  • A Search Strategy Using a Hamming-Distance Oracle 

    Maurer, Peter M. (2009-08-04)
    The objective of the algorithm described in this report is to optimally guess a hidden binary string based on queries to an oracle where the length of the string is known beforehand. A C++ version of the algorithm is given ...
  • AN APPLICATION OF GROUP THEORY TO THE ANALYSIS OF SYMMETRIC GATES 

    Maurer, Peter M. (2009-10-26)
    A method for determining the symmetries of the inputs of a logic gate either from its truth table or from facts obtained by inspection of its circuit is presented. The symmetry rule of a gate with n inputs is defined in ...
  • Deduction by Induction 

    Maurer, Peter M. (2009-10-26)
    In this report, I offer a technique for computing power sums that is: intuitive, well-motivated, generalizable to all k, and suitable for presentation to pre-calculus students.
  • Designing a Capstone Course to Simulate the Industrial Environment 

    Speegle, Greg (2009-10-26)
    The creation of a capstone course for an un- dergraduate computer science curriculum mirrors traditional software design. Initially, a high-level goal is created. This is refined into lower-level specifications by ...
  • 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, ...
  • 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 ...
  • Unit Delay Scheduling for the Inversion Algorithm 

    Maurer, Peter M. (2009-11-05)
    The Inversion Algorithm is an event driven algorithm whose performance meets or exceeds that of Levelized Compiled Code simulation, even when the activity rate is unrealistically high. Existing implementations of the ...
  • Three-Valued Simulation with the Inversion Algorithm 

    Maurer, Peter M. (2009-11-05)
    The Inversion Algorithm is an event-driven logic simulation technique that is competitive with Levelized Compiled Code Simulation. Previous versions of the Inversion Algorithm have been limited to purely binary simulation. ...
  • Event Driven Simulation without Loops or Conditionals 

    Maurer, Peter M. (2009-11-05)
    Event driven simulation normally requires a great deal of computation to perform a multitude of different tasks. The purpose of this paper is to show that none of these computations are necessary. Most computations are ...
  • Two New Techniques for Unit-Delay Compiled Simulation 

    Maurer, Peter M. (2009-11-05)
    The PC-set method and the parallel technique are two methods for generating compiled unit-delay simulations of acyclic circuits. The PC-set method analyzes the network, determines the set of potential change times for each ...
  • 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 ...