Now showing items 1-4 of 4

  • Anti-Symmetry and Logic Simulation 

    Maurer, Peter M. (2012-01-19)
    Like ordinary symmetries, anti-symmetries are defined in terms of relations between function cofactors. For ordinary symmetries, two cofactors must be equal, for anti-symmetries two cofactors must be complements of ...
  • : 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 ...
  • Using GF(2) matrices in Simulation and Logic Synthesis 

    Maurer, Peter M. (2009-01-23)
    GF(2) matrices are matrices of ones and zeros under modulo 2 arithmetic. Like the GF(2) polynomials used in error detection and correction, they have many potential uses in Electronic Design Automation (EDA). Non-singular ...