ALL THESE PROGRAMS ARE RELATED (at least somehow) TO DIADES AND FAST FPGA-BASED PROTOTYPING. THEY WILL BE AVAILABLE SOME DAY ON WWW. NOW THEY ARE IN VARIOUS DIRECTORIES AND COMPUTERS. IF YOU WILL BE NOT ABLE TO FIND THEM, SEND ME EMAIL.

OTHER PROGRAMS ARE NOT LISTED.

Last Update of this Page: November 12, 1997.

Links to papers and programs are not yet done. See POLO and my list of publications.

EXOR LOGIC AND DECISION DIAGRAMS.

SUP OF PRODUCTS AND LOGIC WITH FEW LEVELS.

MULTI-LEVEL LOGIC MINIMIZATION.

FINITE STATE MACHINES.

SYSTEM LEVEL DESIGN AND FAST PROTOTYPING.

LAYOUT, FLOOR-PLANNING, DRAWINGS.

LISP PROGRAMS FOR VARIOUS APPLICATIONS.

IMAGE PROCESSIN.

OTHER PROGRAMS.

--------------------
NON-SORTED:
Sarabi's OKFDD Minimizer. "Orthogonal and Nonorthogonal Expansions for Multi-Level Logic with Applications to FPGA Mapping," RMT backdraw bdd2X bdd2backdraw blif2vst cell_map cterm espresso flash hint jedi misII nova romdd2X sis sred stamina vst2blif xsis
--------------------

EXOR LOGIC, SPECTRAL AND RELATED.

AUTHOR: Ingo Schaefer
PROGRAM'S NAME: DISJOINT
PROGRAM: Changes SOP to Disjoint SOP, called DSOP. Useful for many applications as preprocessing.
LANGUAGE: C
YEAR OF CREATION: 1990-1992
LOCATION:
AVAILABILITY: located in POLO, available to class
MANUAL:
PAPER: 1. IEEE Trans. on CAD, 1993. Falkowski et al.
2. Intern. J. of Electronics.
3. Ingo's Ph.D. thesis.
4. Falkowski's Ph.D. thesis.

AUTHOR: Ingo Schaefer
PROGRAM'S NAME: SPECTRA
PROGRAM: SPECTRA calculates Walsh spectrum. Based on theory developed by B. Falkowski.
LANGUAGE: C
YEAR OF CREATION: 1990-1992
AVAILABILITY: cannot find it, ask Ingo or Bogdan.
LOCATION:
MANUAL:
PAPER: 1. IEEE Trans. on CAD, 1993. Falkowski et al.
2. Hamburg RM'92 Euro-Dac Conference.
3. Ingo's Ph.D. thesis.
4. Falkowski's Ph.D. thesis.

AUTHOR: Ingo Schaefer
PROGRAM'S NAME: TECHMAP
PROGRAM: TECHMAP is a set of tools for multi-level design using Shannon, Positive Davio and Negative Davio expansions for unspecified functions
LANGUAGE: C
YEAR OF CREATION: 1991-1992
AVAILABILITY: located in POLO, available to class, we work on WWW connection in Nov.97.
LOCATION:
MANUAL:
PAPER: 1. IEEE Trans. on CAD, 1995.
2. Hamburg RM'93 Conference.
3. Ingo's Ph.D. thesis.
4. Ingo's On-line documentation.

AUTHOR: Ning Song,
PROGRAM'S NAME: EXORCISM-MV-2
LANGUAGE: C
PROGRAM: This is the third version of Exorcism. First Exorcism was written for binary logic by Martin Helliwell. Second was written for mv logic by Ling Chau and other students. Third is this. It uses exorlink operation for mv logic cubes, minimizing EXOR of ANDs multi-output functions, called ESOP.
YEAR OF CREATION: 1992
AVAILABILITY: located in POLO, available to class, available to WWW in November 1997 by Van Le.
LOCATION:
MANUAL:
PAPER: 1. IEEE Transaction on Computer Aided Design.
2. 1993 ISMVL.
3. M.S. of Ning Song: "Minimization of Exclusive-Or Sum of Products Expressions for Multiple-Valued Input Incompletely Specified Functions," August 10, 1992.

AUTHOR: Ning Song,
PROGRAM'S NAME: EXORCISM-MV-3
LANGUAGE: C
PROGRAM: This is the fourth version of Exorcism. It is two orders of magnitude faster than EXORCISM-MV-2.
YEAR OF CREATION: 1997
AVAILABILITY: Ning will send it.
LOCATION:
MANUAL:
PAPER: 1. IEEE Transaction on Computers (submitted).
2. RM'97.
3. Ph.D. of Ning Song, Nov. 1997.

AUTHOR: Ning Song,
PROGRAM'S NAME: MINICT
LANGUAGE: C
PROGRAM: This is the second version of MINICT. It implements AND/OR/EXOR factorization based on complex term linking.
YEAR OF CREATION: 1997
AVAILABILITY: Ning will send it.
LOCATION:
MANUAL:
PAPER: 1. IEEE Transaction on Computer Aided Design (to be submitted).
2. 1998 ISMVL.
3. Ph.D. of Ning Song, Nov. 1997.
4. DAC 94.
5. VLSI Design Journal.

AUTHOR: Andisheh Sarabi,
PROGRAM'S NAME: CGRMIN
PROGRAM: CGRMIN is a Fixed Polarity Reed-Muller (FPRM) Minimizer.
LANGUAGE: C
NAME:
YEAR OF CREATION: 1991-1992
LOCATION: /stash/polo/bin
MANUAL:
PAPER: 1. Ph.D. Thesis, "Logic Synthesis with High Testability for Cellular Arrays".
2. DAC'92

1992
AUTHOR: Ingo Schaefer and Andisheh Sarabi,
PROGRAM'S NAME: CANNES
PROGRAM: CANNES is a GRM minimizer according to the theory developed by Laszlo Csanky.
LANGUAGE: C
NAME:
LOCATION: /stash/polo/bin
YEAR OF CREATION: 1991-1992
MANUAL:
PAPER:

AUTHOR: Xiaogang Zheng, Haomin Wu,
PROGRAM: Calculates minimum Partially Mixed form.
LANGUAGE: C
NAME:
YEAR OF CREATION: 1994
LOCATION:
MANUAL:
PAPER: 1. "Fast Algorithm for Canonical Restricted Partially-Mixed-Polarity Reed-Muller Expansion". November, 1994.
2. IEEE Trans. on Computers.

AUTHOR: Xiaogang Zheng,
PROGRAM: Calculates GRM using Grey Codes.
LANGUAGE: C
NAME:
YEAR OF CREATION: 1994
LOCATION:
MANUAL:
PAPER: 1. "Fast Algorithm for Canonical Restricted Partially-Mixed-Polarity Reed-Muller Expansion". November, 1994.
2. RM'95.

AUTHOR: Lixin Zhou,
PROGRAM: Calculates PPRM for unspecified functions
LANGUAGE: C
NAME:
LOCATION:
YEAR OF CREATION: 1992
MANUAL:
PAPER:

AUTHOR: Philip Ho,
PROGRAM: Free Kronecker Trees for Fine Grain FPGAs Mapping
LANGUAGE: C
NAME:
LOCATION:
MANUAL:
PAPER: M.S. Thesis: "Investigation of Solution Space of Trees and DAGs for Realization of Combinational Logic in AT 6000 Series FPGAs," November 5, 1993.

AUTHOR: Li-Fei Wu,
PROGRAM'S NAME: PRMT
PROGRAM: PRMT creates Permuted Reed-Muller Tree.
LANGUAGE: C
NAME:
LOCATION:
YEAR OF CREATION: 1993
MANUAL:
PAPER: 1. M.S. Thesis. "Minimization of Permuted Reed-Muller Trees for Fine Grain Gate Arrays,"
2. Paper FPGA conference 1992, Vienna.

DECOMPOSITION
AUTHOR: Wei Wan,
PROGRAM'S NAME: TRADE
LANGUAGE: C
PROGRAM: This was our third Boolean Decomposer, first for FPGAs.
LOCATION:
YEAR OF CREATION: 1992
MANUAL:
PAPER: 1. M.S. Thesis: "A New Approach to the Decomposition of Incompletely Specified Functions Based on Graph Coloring and Local Transformation and Its Application to FPGA Mapping,"
2. Euro-Dac 1992.
3. Survey.

OTHER
AUTHOR: Dieudonne Mayi,
PROGRAM: Intelligent Data Base
LANGUAGE: Prolog
NAME:
LOCATION:
MANUAL:
PAPER: M.S. "Intelligent Data-Base for a PSUBOT: an Automated Wheelchair," March 1992.

AUTHOR: Dieudonne Mayi,
PROGRAM: Image Matching
LANGUAGE: Prolog
NAME:
LOCATION:
MANUAL:
PAPER: M.S. "Intelligent Data-Base for a PSUBOT: an Automated Wheelchair," March 1992.

AUTHOR: Omar Bermudez,
PROGRAM:
LANGUAGE: Lotus, C,
NAME:
LOCATION:
MANUAL:
PAPER: M.S. Thesis: "Computer-Based Parameter Visualization and Decision Making for the Detection and Prediction of Ovulation: The Ovulo-Computer," August 1991.

AUTHOR: Cecilia Espinosa,
PROGRAM: Image Processing based on Hough Transform.
LANGUAGE: C
NAME:
LOCATION:
MANUAL:
PAPER: M.S. Thesis: "Low To Medium Level Image Processing For a Mobile Robot," June 1991.

00000000000000
AUTHOR:
PROGRAM:
LANGUAGE: Fortran
NAME:
LOCATION:
MANUAL:
PAPER:

AUTHOR: Marek Urbanski,
Lian Yang, M.S., Thesis, "The Object-Oriented Design of a Hardware Description Language for the DIADES Silicon Compiler System," December 1990.
Works as software engineer in ImageBuilder - a small compiler/user interface company in Portland.
AUTHOR:
PROGRAM:
LANGUAGE: Fortran
NAME:
LOCATION:
MANUAL:
PAPER:

AUTHOR: Marek Urbanski,
Naveen Chandra, M.S., Thesis, "Parallel Ray Tracing," August 1990.
Works as software engineer in AUTOCAD company in California.
AUTHOR:
PROGRAM:
LANGUAGE: Fortran
NAME:
LOCATION:
MANUAL:
PAPER:

AUTHOR: Marek Urbanski,
Ingo Schaefer, M.S., Thesis, "An Effective Cube Comparison Method for Discrete Spectral Transformations of Logic Functions," June 1990.
Works for Mentor Graphics in California.
AUTHOR:
PROGRAM:
LANGUAGE: Fortran
NAME:
LOCATION:
MANUAL:
PAPER:

AUTHOR: Marek Urbanski,
Ali Shamsapour, M.S., Thesis, "Application of Hypercard to Teach Usage of ADL and DIADES to Engineers", March 1990.
Works as software/hardware specialist in software company in Eugene, Oregon.
AUTHOR:
PROGRAM:
LANGUAGE: Fortran
NAME:
LOCATION:
MANUAL:
PAPER:

AUTHOR: Marek Urbanski,
Phuong Minh Ho, M.S., Thesis, "Parallel Architectures for Solving Combinatorial Problems of Logic Design," August 1989.
Worked as software engineer in microprocessor company in Washington. Now, perhaps in Microsoft.
AUTHOR:
PROGRAM:
LANGUAGE: Fortran
NAME:
LOCATION:
MANUAL:
PAPER:

AUTHOR: Marek Urbanski,
Jiuling Liu, M.S., Thesis, "Finite State Machine Synthesizer," April 1989.
Worked as software engineer in graphics hardware company in Los Angeles. Now for Philips.
AUTHOR:
PROGRAM:
LANGUAGE: Fortran
NAME:
LOCATION:
MANUAL:
PAPER:

AUTHOR: Marek Urbanski,
William Zhao, M.S., Thesis, "Two Dimensional Minimization of Finite State Machine," February 1989.
Works as software engineer in utilities company in Los Angeles.
AUTHOR:
PROGRAM:
LANGUAGE: Fortran
NAME:
LOCATION:
MANUAL:
PAPER:

AUTHOR: Marek Urbanski,
Shiliang Wang, M.S., Thesis, "Application of Hough Transformation for Recognition of Ovulation Ferning Patterns in Cervical Mucus," February 1989.
He is now a design/simulation engineer in Sharp Microelectronics Technology, Camas, WA.
AUTHOR:
PROGRAM:
LANGUAGE: Fortran
NAME:
LOCATION:
MANUAL:
PAPER:

AUTHOR: Marek Urbanski,
Loc Bao Nguyen, M.S., Thesis, "Logic Design Using Programmable Logic Devices," Summer 1988.
He was a Project Leader in Single Board Computer Division of Intel in Hillsboro. Now he is a Sustaining Engineer in Intel Scientific Computers. He participated in the design of the Touchstone project - the world's largest computer in 1991.

AUTHOR:
PROGRAM:
LANGUAGE: Fortran
NAME:
LOCATION:
MANUAL:
PAPER:

AUTHOR: Marek Urbanski, Hai Van Dinh Le, M.S., Thesis, "A New General Purpose Systolic Array for Matrix Computations," Spring 1988.
He works as an independent software engineer in Tektronix. Awarded for his M.S. by Dean of Engineering, PSU.

IN TECHNICAL UNIVERSITY OF WARSAW, POLAND.
AUTHOR:
PROGRAM:
LANGUAGE: Fortran
NAME:
LOCATION:
MANUAL:
PAPER:

AUTHOR: Marek Urbanski,
Andrzej Cieslak, M.S. Thesis, "A System of Programs Based on Cube Calculus to Minimize TANT Networks". 1981.
AUTHOR:
PROGRAM:
LANGUAGE: Fortran
NAME:
LOCATION:
MANUAL:
PAPER:

AUTHOR: Marek Urbanski,
Stanislaw Mielicki, M.S., Thesis, "Optimization of Behavioral Programs in the Design Automation System DIADES", 1982.
(Completed under Prof. Misiurewicz when I already left Poland).
AUTHOR:
PROGRAM:
LANGUAGE: Fortran
NAME:
LOCATION:
MANUAL:
PAPER:

AUTHOR: Marek Urbanski,
Jacek Marczynski, M.S., Thesis, "MASK - a System for Automatic Generation of VLSI Masks from Stick Diagrams", 1983.
(Completed under Prof. Kuzmicz when I already left Poland).
He worked for Institute for Computer Science, Polish Academy of Sciences, Univ. of Texas at Austin, Technical Univ. of Delft, Netherland, several other research institutes in Poland, Netherland and Czechoslovakia, now Ph.D. student at the Univ. of Maryland.
AUTHOR:
PROGRAM:
LANGUAGE: Fortran
NAME:
LOCATION:
MANUAL:
PAPER:

AUTHOR: Marek Urbanski,
Piotr Zielczynski, M.S., Thesis, "Implementation of System Multicomp in LISP", 1982.
(Completed under Prof. Misiurewicz when I already left Poland).
He worked for the Institute of Nuclear Research of the Polish Academy of Sciences. Now works for IBM in the East Coast.
AUTHOR:
PROGRAM:
LANGUAGE: Fortran
NAME:
LOCATION:
MANUAL:
PAPER:

AUTHOR: Marek Urbanski,
Edmund Pierzchala, M.S., Thesis, "A Decision Making for Ovulo-Computer Based on Pattern Recognition Methods", 1982.
(Completed under Prof. Sluzek when I already left Poland).
Worked in the Institute of Nuclear Research of the Polish Academy of Sciences. He is now in PSU EE Ph.D. Program.
AUTHOR:
PROGRAM:
LANGUAGE: Fortran
NAME:
LOCATION:
MANUAL:
PAPER:

AUTHOR: Marek Urbanski,
Jacek Ambroziak, M.S., Thesis, "Graphic Interface for the Expert System", 1983.
(Completed under Prof. Kulpa when I already left Poland).
Completed Ph.D. in the Institute of Basic Scientific Problems of the Polish Academy of Sciences. Research Scientist in Development Laboratory of Sun Corporation in Boston.

AUTHOR:
PROGRAM:
LANGUAGE: Fortran
NAME:
LOCATION:
MANUAL:
PAPER:

AUTHOR: Marek Urbanski,
Wojciech Nikiel, M.S., Thesis, "Symbol Manipulation Algebraic System for Electronics Engineering in Lisp Programming Language", 1979.
He works in a Building Industry Research Institute developing software for design of heavy construction machines.
AUTHOR:
PROGRAM:
LANGUAGE: Fortran
NAME:
LOCATION:
MANUAL:
PAPER:

AUTHOR: Marek Urbanski,
Jacek Wojutynski, M.S., Thesis, "Algorithm of Graph Coloring as a Base of Multi-Purpose System to Solve Combinatorial Problems", 1979.
He was a lecturer at the Technical University of Radom and was working towards a Ph.D.
AUTHOR:
PROGRAM:
LANGUAGE: Fortran
NAME:
LOCATION:
MANUAL:
PAPER:

AUTHOR: Marek Urbanski,
Mariusz Slawomir Gluch, M.S. Thesis, "Implementation of Extended Version of System Microplanner for the CDC Cyber Computer", 1978.
He worked at TU of W, Mechanical Engineering Dept. He completed his Ph.D. under prof. Harry Wechsler at the EE Dept. U of Minnesota and works for Honeywell.
AUTHOR:
PROGRAM:
LANGUAGE: Fortran
NAME:
LOCATION:
MANUAL:
PAPER:

AUTHOR: Marek Urbanski,
Pawel Dysko, M.S. Thesis, "Implementation of System Multicomp in Language Fortran", 1978.
Works for private software company in Poland.
AUTHOR:
PROGRAM:
LANGUAGE: Fortran
NAME:
LOCATION:
MANUAL:
PAPER:

AUTHOR: Marek Urbanski,
Krzysztof Kozminski, M.S. Thesis, "Investigation of the Possibility of Using the DIADES System for Designing MOS LSI Integrated Circuits",
I was only an additional supervisor on this thesis, Prof. W. Kuzmicz from the Institute of Electron Technology was a supervisor. 1978.
He has done Ph.D. in Univ. of Rochester, was with TU of W, and Duke Univ. He was a senior researcher with Microelectronics Center of North Carolina. He is an author of many publications and his research is widely cited. He works in California now, for National Semiconductor.
AUTHOR:
PROGRAM:
LANGUAGE: Fortran
NAME:
LOCATION:
MANUAL:
PAPER:

AUTHOR: Marek Urbanski,
Anna Zasowska, M.S., Thesis. "Methods of Concurrent Minimization and State Assignment of Synchronous and Asynchronous Finite State Machines", 1978.
She worked as a programmer in company that was designing numerically controlled machines.
AUTHOR:
PROGRAM:
LANGUAGE: Fortran
NAME:
LOCATION:
MANUAL:
PAPER:

1978
AUTHOR: Krzysztof Strawinski,
PROGRAM: CERTIF
LANGUAGE: Lisp
NAME:
LOCATION:
MANUAL:
PAPER: "Application of Blikle-Mazurkiewicz Theory for Automatic Verification of Microprograms",

AUTHOR:
PROGRAM:
LANGUAGE: Fortran
NAME:
LOCATION:
MANUAL:
PAPER:

AUTHOR: Marek Urbanski,
Bohdan Krzysztof Boruslawski, M.S., Thesis, "Application of Automatic Theorem Proving to Program Optimization", 1977.

AUTHOR:
PROGRAM:
LANGUAGE: Fortran
NAME:
LOCATION:
MANUAL:
PAPER:

1978
AUTHOR: Grabowska-Dobrzynska,
PROGRAM: Brzozowski Derivative Method for regular expressions.
LANGUAGE: Prolog
NAME:
LOCATION:
MANUAL:
PAPER: "Programming in PROLOG - Language of Artificial Intelligence",

1977
AUTHOR: Janusz Dworak,
PROGRAM:
LANGUAGE: Lisp
NAME:
LOCATION:
MANUAL:
PAPER: "Global Optimization of Programs in the Diades Design Automation System",

AUTHOR: Roman Lokucijewski,
PROGRAM: TANT Minimizer
LANGUAGE: Lisp
NAME:
LOCATION:
MANUAL:
PAPER: "Criteria of Selection of the Structure of a Combinational Network",

YEAR 1976

AUTHOR: Jan Maciejczyk,
PROGRAM: TANT minimizer
LANGUAGE: Fortran
NAME:
LOCATION:
MANUAL:
PAPER: "Organization of the Subsystem of Combinational Logic Networks in the System for Automatic Design DIADES",

AUTHOR: Marek Urbanski,
Jolanta Pawelska-Stepien, M.S., Thesis, "Hierarchical System for Synthesis of Combinational Circuits Based on Cube Calculus", 1976. She was a research engineer in the Institute of Precise Mechanics.
AUTHOR:
PROGRAM:
LANGUAGE: Fortran
NAME:
LOCATION:
MANUAL:
PAPER:

AUTHOR: Marek Urbanski,
Barbara Piechota, M.S., Thesis, "Automatic Design of VLSI Circuits", 1976. She worked as a systems analyst in the National Bank of Poland.
AUTHOR:
PROGRAM:
LANGUAGE: Fortran
NAME:
LOCATION:
MANUAL:
PAPER:

AUTHOR: Marek Urbanski,
Jan Baranowski, M.S., Thesis, "Organization of a Design Automation System", 1976.
He was a PhD Candidate at TU of W when I left Poland.
YEAR 1975

AUTHOR: Krystyna Tomaszewska,
PROGRAM: Integer Programming.
LANGUAGE: Fortran
NAME:
LOCATION:
MANUAL:
PAPER: "Structural Integrated Implementation in the Design Automation System for Integrated Circuit Design",

AUTHOR: Marek Urbanski,
PROGRAM: Graphic Package for Technical Figures
LANGUAGE: Fortran
NAME:
LOCATION:
MANUAL:
PAPER: "A Graphic Display Software Package for the System of Automatic Design of Digital Systems".

AUTHOR: Krzysztof Jankowski,
PROGRAM: Heuristic creation of loops in programs
LANGUAGE: Lisp.
NAME: WALKER.
LOCATION:
MANUAL:
PAPER: "A Heuristic Program which Optimizes Digital Structures".

YEAR 1974

AUTHOR: Zbigniew Banasik, M.S., Thesis,
PROGRAM: State Assignment, Logic Minimization
LANGUAGE: Lisp.
NAME: TAG.
LOCATION:
MANUAL:
PAPER: "Structural Synthesis of Microprogrammed Finite State Machines in the Design Automation System DIADES",

AUTHOR: Wojciech Baczynski,
PROGRAM: Compiler of hardware description language ADL.
LANGUAGE: Lisp.
NAME: HEOPS.
LOCATION:
MANUAL:
PAPER: "Comparison of Optimization Methods in the Domain of Equivalent Algorithms", TU of W, 1974.

AUTHOR: Krystian Rudo,
PROGRAM: Routing for Drawing of Technical Figures.
LANGUAGE: Fortran.
NAME:
LOCATION:
MANUAL:
PAPER: "The Interconnections Routing in the Pictures of Logic Schemata", 1974.
He is a group leader in the Institute of Bioengineering and Biomedicine of Polish Academy of Science.

AUTHOR: Jerzy Tetyk,
PROGRAM: Hardware Implementation
LANGUAGE: Lisp.
NAME: IMPLEM.
LOCATION:
MANUAL:
PAPER: "Abstract Implementation in the System of Automatic Block-Oriented Synthesis of Digital Systems",

AUTHOR: Andrzej Sochon,
PROGRAM: Flowgraph Placement.
LANGUAGE: Lisp.
NAME: TAG.
LOCATION:
MANUAL:
PAPER: "Generation of Pictures of Graphs, Flow-diagrams and Block Schemata in the System for Automatic Design",

AUTHOR:
Jacek Wesolowski,
PROGRAM: State Machine Minimizer, Behavioral Transformations, HEOPS.
LANGUAGE: Lisp.
NAME: HEOPS.
LOCATION:
MANUAL:
PAPER: "Transformations of Behavioral Flow-diagrams in the System for Automatic Design of Block-Oriented Digital Systems of Automatic Control", 1974.

AUTHOR: Czeslaw Mankiewicz, M.S., Thesis,
PROGRAM: Compiler of hardware description language ADL.
LANGUAGE: Lisp.
NAME: TAG.
LOCATION:
MANUAL:
PAPER: "Source Language of the System for Automatic Design of Block-Oriented Digital Systems of Automatic Control and Its Compiler to the Graph Language"
Go to beginning of VHDL Classes.

EXOR LOGIC, SPECTRAL AND RELATED.

AUTHOR: Choon K. Kim,
PROGRAM'S NAME:
PROGRAM: Floor Planning for Diades
LANGUAGE: Fortran
NAME:
LOCATION:
YEAR OF CREATION: 1984
MANUAL:
PAPER: Ph.D. Thesis. "Research on an Automated Chip Floor Planning System",

OTHER PROGRAMS.

AUTHOR: Nee-Hua Cho,
PROGRAM:
LANGUAGE: Visual Basic
NAME:
LOCATION:
YEAR OF CREATION: 1995
MANUAL:
PAPER: M.S. Thesis: "Visualization Kit to Develop DSP and Image Processing Algorithms".

AUTHOR: Marek Urbanski, Krystian Rudo, Marek Perkowski
PROGRAM'S NAME:
PROGRAM: Drawing figures of logic networks.
LANGUAGE: Fortran, modified to C
NAME:
LOCATION:
YEAR OF CREATION: 1974-85
MANUAL:
PAPER:

SYSTEM LEVEL DESIGN AND FAST PROTOTYPING.

AUTHOR: Karthikeyan Palanisamy,
PROGRAM: Interface between Diades and Mentor tools.
LANGUAGE: C
NAME:
LOCATION:
YEAR OF CREATION: 1994
MANUAL:
PAPER: M.S. Thesis: "High Level Preprocessor for a VHDL-based Design System." October 27, 1994.