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
β¦ 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
A representation language for behavior a
β
Munehiko Sasajima; Yoshinobu Kitamura; Mitsuru Ikeda; Ruchiro Mizoguchi
π
Article
π
1996
π
Elsevier Science
π
English
β 797 KB
Test generation for sequential circuits
β
Hoyong Choi; Takashi Kohara; Nagisa Ishiura; Isao Shirakawa; Akira Motohara
π
Article
π
1993
π
John Wiley and Sons
π
English
β 889 KB
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
Local parametric representation of displ
β
J Kieffer; F.L Litvin
π
Article
π
1991
π
Elsevier Science
π
English
β 752 KB
Data definition and manipulation languag
β
R.S. Shenoy; L.M. Patnaik
π
Article
π
1983
π
Elsevier Science
π
English
β 374 KB