𝔖 Bobbio Scriptorium
✦   LIBER   ✦

ABAL-a language for boolean function representation and manipulation

✍ Scribed by Chen, Iong; Carroll, B. D.


Book ID
114615442
Publisher
IEEE
Year
1977
Tongue
English
Weight
467 KB
Volume
20
Category
Article
ISSN
0018-9359

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Language for definition and manipulation
✍ C. Devoti; P. Galli; U. Cugini πŸ“‚ Article πŸ“… 1984 πŸ› Elsevier Science 🌐 English βš– 112 KB

In this issue of Computer-aided Design are listed the abstracts and, where given, the authors' biographies from the programme of CAD84. The papers are arranged in the order in which they will be given. For the parallel sessions, papers presented in the Winter Garden are shown before those in the Cla

Boolean function representation and spec
✍ A. Ε½uΕΎek; R. Drechsler; M.A. Thornton πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 301 KB

Methods based on AND/OR graph representations of Boolean relations provide a promising new way of approaching VLSI CAD design automation problems. AND/OR graphs can represent any Boolean network and they allow for systematic reasoning through the application of the technique of recursive learning. A