dc.contributor.author Maurer, Peter M. dc.date.accessioned 2009-01-23T16:31:18Z dc.date.available 2009-01-23T16:31:18Z dc.date.issued 2009-01-23T16:31:18Z dc.identifier.uri http://hdl.handle.net/2104/5263 dc.description.abstract 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 matrices can be used to define new classes of symmetry called conjugate symmetries. Conjugate symmetries have been used to speed up certain kinds of functional-level simulations, and have other potential uses. GF(2) matrices can also be used to transform Boolean vector spaces and simplify Boolean functions. Although matrix transformations can be complex, simpler single-bit matrices can be used instead of general matrices. This simplifies the approach without loss of generality. Singular matrices can be used to reduce the complexity of certain functions, beyond what is normally possible with conventional simplification techniques. GF(2) matrices can also be used to define exotic symmetries called strange symmetries and collapsed symmetries. These exotic symmetries may prove useful in future EDA applications. en dc.format.extent 312150 bytes dc.format.mimetype application/pdf dc.language.iso en_US dc.subject Design Automation en dc.subject Logic Simulation en dc.subject Logic Synthesis en dc.title Using GF(2) matrices in Simulation and Logic Synthesis en dc.license GPL en
﻿

﻿