Abstract:
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.