Anti-Symmetry and Logic Simulation

DSpace/Manakin Repository

BEARdocs is currently undergoing a scheduled upgrade. We expect the upgrade to be completed no later than Monday, March 2nd, 2015. During this time you will be able to access existing documents, but will not be able to log in or submit new documents.

Show simple item record Maurer, Peter M.
dc.description.abstract Like ordinary symmetries, anti-symmetries are 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. en_US
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

Files in this item

This item appears in the following Collection(s)

Show simple item record

Search BEARdocs

Advanced Search


My Account