Search
Now showing items 31-40 of 66
Using GF2 Matrices to Simplify Boolean Logic
(2009-01-23)
Conventional logic simplification can be couched in terms of singular GF(2) matrices. The advantage to doing this is that different matrices can be used to combine terms that are separated by a Hamming distance greater ...
The Class 8 4x4 Faithful Representations of S4 over GF(2)
(2013-09-20)
There are 9 conjugacy classes of faithful representations of S4 in the general linear group of 4x4 matrices over GF(2). This report lists the representations belonging to class 8. This class includes the standard representation ...
The Hyper-Linear Package
(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 ...
The FHDL Rom Tools
(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 ...
The Subgroups of S4 in Cycle Form
(2012-01-19)
This technical report lists all subgroups of S4, the symmetric group of degree 4. Subgroups are listed in cycle form using the integers 0, 1, 2, and 3.
The Representations of GF(8) in GL3(2)
(2013-09-20)
This report gives one subgroup of each of the conjugacy classes of the subgroups of S7.
The Shadow Algorithm: A Scheduling Technique for Both Compiled and Interpreted Simulation
(2009-11-05)
The shadow algorithm is an event-driven unit-delay simulation technique that has been designed to take advantage of the instruction caches present in many of the latest workstations. The algorithm is based on the threaded-code ...
: GF2Matrices
(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 GF(2) General Linear Group for Dimensions 2, 3, 4, and 5
(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 ...
The Number of Conjugates of the Standard Representation of Sn in the General Linear Group over GF(2)
(2013-09-20)
This report determines the normalizer of the standard representation of Sn in the general linear group of nxn matrices over GF(2). The size of the normalizer is then used to determine the number of classes of conjugate ...