This paper introduces a data structure called Boolean expression diagrams (BEDs) and two algorithms for transforming a BED into a reduced ordered binary decision diagram (OBDD). BEDs are capable of ...

R. E. Bryant, “Symbolic Boolean manipulation with ordered binary decision diagrams,” ACM Computing Surveys, Vol. 24, No. 3, ... (OBDDs) as canonical representation for both Boolean circuit ...

Abstract: 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 ...