Using GF(2) matrices in Simulation and Logic Synthesis

Simple item page
dc.contributor.authorMaurer, Peter M.
dc.date.accessioned2009-01-23T16:31:18Z
dc.date.available2009-01-23T16:31:18Z
dc.date.issued2009-01-23T16:31:18Z
dc.description.abstractGF(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.extent312150 bytes
dc.format.mimetypeapplication/pdf
dc.identifier.urihttp://hdl.handle.net/2104/5263
dc.language.isoen_US
dc.licenseGPLen
dc.subjectDesign Automationen
dc.subjectLogic Simulationen
dc.subjectLogic Synthesisen
dc.titleUsing GF(2) matrices in Simulation and Logic Synthesisen

Files

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
Using GF(2) matrices in Simulation and Logic Synthesis.pdf
Size:
304.83 KB
Format:
Adobe Portable Document Format
Download

License bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.96 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

Computer Science Technical Reports