AITEC Contract Research Projects in FY1995 : Software

(22) A Parallel Computing Silicon Compiler for Low Power LSI Design

Dr. Kazuo Taki, Professor, Kobe University


A Logic Synthesis System for Pass-Transistor Logic


by

Prof. Kazuo Taki at Kobe University



[Features of the Software]

This software is a test version of a BDD-based logic synthesis system for NMOS pass-transistor logic.

This system synthesizes NMOS pass-transistor logic and also generates a shared BDD for given boolean functions. This software can therefore be used for logic verification, CMOS logic synthesis, and similar functions.

This system includes the following functions.

[Required Environment]

We confirmed that our software runs on SunOS 4.1.3 and Solaris 2.x with C compilers (cc or gcc).

[File Configuration]

Expanded directory has the following directories and files :

H7-22-----------+--- Intro      (Advertisement in Japanese)
                |
                +--- INSTALL    
                |
                +--- ForUsers   (Who can use this program? in Japanese)
                |
                +--- manual.tex (User's Manual in Japanese)
                |
                +--- Prog ------+---- C Program Source
                |               |
                |               +---- MCNC-Data (Sample Data)
                |               
                +--- Copyright

[FTP]




www-admin@icot.or.jp