Loading [a11y]/accessibility-menu.js
Boolean verification with fastest LIA transforms | IEEE Conference Publication | IEEE Xplore

Boolean verification with fastest LIA transforms


Abstract:

The fastest transform in the family of fast Linearly Independent Arithmetic (LIA) logic is introduced in this paper. The transform is the most efficient LIA transform in ...Show More

Abstract:

The fastest transform in the family of fast Linearly Independent Arithmetic (LIA) logic is introduced in this paper. The transform is the most efficient LIA transform in terms of complexity. Recursive equations defining the LIA transform and the corresponding butterfly diagrams are shown. Finally, application of the new LIA transform in Boolean functions verifications is discussed.
Date of Conference: 26-29 May 2002
Date Added to IEEE Xplore: 07 August 2002
Print ISBN:0-7803-7448-7
Conference Location: Phoenix-Scottsdale, AZ, USA

Contact IEEE to Subscribe

References

References is not available for this document.