Sciweavers

646 search results - page 24 / 130
» Hybrid decision diagrams
Sort
View
TC
1998
13 years 8 months ago
Exact Minimization of Binary Decision Diagrams Using Implicit Techniques
Arlindo L. Oliveira, Luca P. Carloni, Tiziano Vill...
TC
1998
13 years 8 months ago
Using Decision Diagrams to Design ULMs for FPGAs
—Many modern Field Programmable Logic Arrays (FPGAs) use lookup table (LUT) logic blocks which can be programmed to realize any function of a fixed number of inputs. It is possib...
Zeljko Zilic, Zvonko G. Vranesic
IEICET
2010
103views more  IEICET 2010»
13 years 7 months ago
A Quaternary Decision Diagram Machine: Optimization of Its Code
Tsutomu Sasao, Hiroki Nakahara, Munehiro Matsuura,...
JSAT
2010
158views more  JSAT 2010»
13 years 3 months ago
Ordered Binary Decision Diagrams, Pigeonhole Formulas and Beyond
Groote and Zantema proved that a particular OBDD computation of the pigeonhole formula has exponential size, and that limited OBDD derivations cannot simulate resolution polynomia...
Olga Tveretina, Carsten Sinz, Hans Zantema