dc.contributor.author Maurer, Peter M. dc.date.accessioned 2012-01-19T16:00:47Z dc.date.available 2012-01-19T16:00:47Z dc.date.issued 2012-01-19 dc.identifier.uri http://hdl.handle.net/2104/8294 dc.description.abstract Like ordinary symmetries, anti-symmetries are en_US 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 another. It is known that ordinary symmetries can be used to improve simulation performance, but up until this point, it has not been known whether anti-symmetries could be used for this purpose. This paper shows that anti-symmetries can be as effective in boosting simulation performance as ordinary symmetries, sometimes even more so. Detailed detection and simulation algorithms are given along with a set of experimental results to show the effectiveness of the algorithms. dc.subject Symmetric Boolean Functions en_US dc.subject Anti-Symmetry en_US dc.subject Logic Simulation en_US dc.title Anti-Symmetry and Logic Simulation en_US dc.license GPL en_US
﻿

﻿