𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A compiler for simple boolean functions of binary patterns

✍ Scribed by J.R. Ullmann

Publisher
Elsevier Science
Year
1973
Weight
528 KB
Volume
2
Category
Article
ISSN
0146-664X

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A Fast and Simple Algorithm for Identify
A Fast and Simple Algorithm for Identifying 2-Monotonic Positive Boolean Functions
✍ Kazuhisa Makino; Toshihide Ibaraki‑ πŸ“‚ Article πŸ“… 1998 πŸ› Elsevier Science 🌐 English βš– 168 KB

Consider the problem of identifying min T f and max F f of a positive i.e., . Ε½ . monotone Boolean function f, by using membership queries only, where min T f Ε½ Ε½ . . Ε½ . max F f denotes the set of minimal true vectors maximum false vectors of f. Ε½ Moreover, as the existence of a polynomial total t

A dual rail circuits synthesis environme
A dual rail circuits synthesis environment for the implementation of multiple output boolean functions
✍ Karoubalis, Theodore; Alexiou, George Ph.; Kanopoulos, Nick πŸ“‚ Article πŸ“… 1998 πŸ› John Wiley and Sons 🌐 English βš– 378 KB

This paper presents an integrated CAD system for synthesizing high-performance dual rail circuits using DCVS logic. The proposed techniques exploit ROBDDs to provide efficient DCVS trees that fulfill the design rules and constraints. Sharing of common transistor structures is examined to decrease fu