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.
- Generating a shared BDD for given boolean functions.
- Determining the variable ordering of BDD automatically.
- Synthesis of NMOS pass-transistor logic circuit from the shared BDD.
- Representing shared BDD in ascii text or PostScript format.
- Creating pass-transistor logic circuits in the industry-standard
Verilog-HDL and HSPICE
netlist.
[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]
- README
- Program and Documents (in Japanese) [73K]
www-admin@icot.or.jp