Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers
Mathematica: a system for doing mathematics by computer (2nd ed.)
Mathematica: a system for doing mathematics by computer (2nd ed.)
Verification of arithmetic circuits with binary moment diagrams
DAC '95 Proceedings of the 32nd annual ACM/IEEE Design Automation Conference
Algebraic decision diagrams and their applications
ICCAD '93 Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design
Cryptography: Theory and Practice
Cryptography: Theory and Practice
An Algebraic Approach to Formal Verification of Microprocessors
Journal of Electronic Testing: Theory and Applications
Hi-index | 0.01 |
A general method for determining whether a certain design is initializable, and for generating its initialization sequence, is presented in this paper. This method is based on structural decomposition of the circuit, and can handle both logical ...