This paper presents a Boolean stochastic model to analysis the necessary oscillation condition for chaotic oscillator in true random number generator based on Boolean network. A true random number ...

Article citations More>> R. E. Bryant, “Symbolic Boolean manipulation with ordered binary decision diagrams,” ACM Computing Surveys, Vol. 24, No. 3, pp. 293–318, 1992. has been cited by the following ...

The combinational logic-level equivalence problem is to determine whether two given combinational circuits implement the same Boolean function. This problem arises in a number of computer-aided design ...