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.

This report lists the primitive polynomials over GF(2) of degree 2 through 16. These polynomials were generated using a new matrix-based technique I invented.

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 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. ...

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 ...

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.

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 ...

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 ...

This is a list of the 28 conjugates of the standard representation of S3 in 3x3 matrices.

This software package can be used to create the FHDL library file. This library allows one to use the FHDL parser and simulator software in your own projects. The package can be compiled either under Linux (i.e. gcc) or ...