Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers
Verification of arithmetic circuits with binary moment diagrams
DAC '95 Proceedings of the 32nd annual ACM/IEEE Design Automation Conference
Binary decision diagrams and applications for VLSI CAD
Binary decision diagrams and applications for VLSI CAD
Dynamic variable ordering for ordered binary decision diagrams
ICCAD '93 Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design
Formal verification of word-level specifications
DATE '99 Proceedings of the conference on Design, automation and test in Europe
Introduction to Algorithms
ISMVL '02 Proceedings of the 32nd International Symposium on Multiple-Valued Logic
Automation and Remote Control
Three-Dimensional Feedforward Neural Networks and Their Realization by Nano-Devices
Artificial Intelligence Review
Three-dimensional feedforward neural networks and their realization by nano-devices
Artificial intelligence in logic design
Hi-index | 0.01 |
The LinearDD system, which first permitted in logical design the representation of a logical circuit (combination circuit or a memory circuit) as two- and three-dimensional linear decision diagrams, is described. It is compatible with standard data formats (EDIF, ISCAS85, etc.) and designing tools, such as hardware description languages (HDL). This system is extended to circuit designing by nanotechnologies.