| AITEC Contract Research Projects in FY1995 : Software |
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.
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
www-admin@icot.or.jp