Permutation and phase independent Boolean comparison

DOI10.1016/0167-9260(93)90041-AMaRDI QIDQ4307635zbMATH OpenFDO

Authors Janett Mohnke, Sharad Malik

Publication date 19 February 1995

Published in Integration (Search for Journal in Brave)

zbMATH Keywords

verificationsynthesiscombinational logichigh level design toolsequivalence of two Boolean functionsinput permutationsinput phase assignmentssynthesis of field-programmable gate arrays

Mathematics Subject Classification ID

Recommendations

• Limits of using signatures for permutation independent Boolean comparison
• scientific article; zbMATH DE number 4104874
• Results on permutation symmetric Boolean functions
• Doubly perfect nonlinear Boolean permutations
• Tests with respect to permutations of variables in Boolean functions
• Permutation equivalence of cubic rotation symmetric Boolean functions
• scientific article; zbMATH DE number 4049556
• On the comparison of Boolean bases
• scientific article; zbMATH DE number 4072877
• scientific article; zbMATH DE number 1827583

Cited in

(5)

• scientific article; zbMATH DE number 2148626 (Why is no real title available?)
• Heuristic NPN classification for large functions using AIGs and LEXSAT
• Limits of using signatures for permutation independent Boolean comparison
• A Dynamic Programming Approach to Sequential Pattern Recognition
• scientific article; zbMATH DE number 796497 (Why is no real title available?)

This page was built for publication: Permutation and phase independent Boolean comparison

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4307635)