RT Journal Article
T1 Formulation for the computation of Boolean operations
A1 Imaña Pascual, José Luis
A1 Sánchez, JM
AB Boolean or switching equations are powertul mathematical tools for digital logic. Several problems in digital circuit design, such as automatic test pattern generation, could be efficiently solved if fast procedures for solving Boolean equations were available. Several methods for solving this class of equations have been developed, but their efficiency is a problem. A new formulation for the computation of Boolean operations based on cubic representation of Boolean functions, termed the cube set method, is presented. The solutions provided by this approach are given as a set of cubes satisfying the disjoint property. Some definitions and theorems are given to describe the method and experimental results are presented
PB IEE (Institution of Electrical Engineers)
SN 1350-2387
YR 2001
FD 2001-11-01
LK https://hdl.handle.net/20.500.14352/106124
UL https://hdl.handle.net/20.500.14352/106124
LA eng
NO IMANA, JL, and JM SANCHEZ. "Formulation for the computation of Boolean operations." IEE proceedings. Computers and digital techniques 148.6 (2001): 189-195.
DS Docta Complutense
RD 12 abr 2025