P. Maurer's Website, DGL, FHDL, Education, Research
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Peter M. Maurer
Research Software
| Audio Access for the Blind | Testing and Performance Measurement | Experimental Simulators | Raw Experimental Data | Technical Reports |
Audio Access for the Blind
The following items are available.
| Name | Type |
| Proof-of-Concept Program Manager & WinWord Reader | Self Installing Executable |
Testing and Performance Measurement
The following items are available.
| Name | Type |
| FHDL versions of the ISCAS85 benchmarks. | UNIX Compressed TAR -- FHDL Format |
| FHDL versions of the ISCAS89 benchmarks. | UNIX Compressed TAR -- FHDL Format |
| Vector generators for the ISCAS85 Benchmarks. | UNIX Compressed TAR -- FHDL Format |
| Vector generators for the ISCAS89 Benchmarks. | UNIX Compressed TAR -- FHDL Format |
The vector generators can be used to reproduce the input
vectors that we have used for all tests.
5000 vectors must be generated for each of the circuits.
You will need the DGL
package to compile the tests.
The DGL
Manual is not required, but may come in handy.
Experimental Simulators
These tools all require access to libconn.a. (UNIX Compressed TAR, C Source Code.)
| Name | Type |
| Analyze circuit characteristics | UNIX Compressed TAR -- C Source Code |
| The Convergence Algorithm | UNIX Compressed TAR -- C Source Code |
| The Convergence Algorithm Version 2 | UNIX Compressed TAR -- C Source Code |
| The COSIM fault simulator | UNIX Compressed TAR -- C Source Code |
| The cyclic parallel technique | UNIX Compressed TAR -- C Source Code |
| The gateway algorithm | UNIX Compressed TAR -- C Source Code |
| Event-Driven Simulator (Base comparisons) | UNIX Compressed TAR -- C Source Code |
| Do a depth-analysis of circuits. | UNIX Compressed TAR -- C Source Code |
| Identify the strongly connected components of a circuit | UNIX Compressed TAR -- C Source Code |
| The LECSIM compiled event-driven zero-delay simulator | UNIX Compressed TAR -- C Source Code |
| The Levelized Gateway Algorithm | UNIX Compressed TAR -- C Source Code |
| Optimizing the convergence algorithm. | UNIX Compressed TAR -- C Source Code |
| The Shadow Algorithm | UNIX Compressed TAR -- C Source Code |
| Scheduling gates in compiled simulation | UNIX Compressed TAR -- C Source Code |
| The synchronous parallel technique | UNIX Compressed TAR -- C Source Code |
| The parallel techique and the PC-Set method | UNIX Compressed TAR -- C Source Code |
| Compress vectors for parallel vector packing. | UNIX Compressed TAR -- C Source Code |
| Multi-delay compiled simulator. | UNIX Compressed TAR -- C Source Code |
| Multi-delay compiled simulator. | UNIX Compressed TAR -- C Source Code |
| Multi-delay PC Set simulator. | UNIX Compressed TAR -- C Source Code |
| Multi-delay interpreted simulator. | UNIX Compressed TAR -- C Source Code |
| Multi-delay gateway simulator. | UNIX Compressed TAR -- C Source Code |
| Multi-delay shadow simulator. | UNIX Compressed TAR -- C Source Code |
| The Inversion Algorithm. | UNIX Compressed TAR -- C Source Code NOTE - U.S. Patent Applied for. |
Raw Experimental Data
| Results For: | File Type |
| Interpreted shadow algorithm | UNIX Compressed TAR -- Raw Text Files |
| Convergence algorithm on Sun 3 | UNIX Compressed TAR -- Raw Text Files |
| Convergence Algorithm Version 2, Sun 4 | UNIX Compressed TAR -- Raw Text Files |
| Convergence Algorithm Version 2, Sun 3 | UNIX Compressed TAR -- Raw Text Files |
| Cyclic Parallel Technique | UNIX Compressed TAR -- Raw Text Files |
| The Gateway Algorithm, Set 1 | UNIX Compressed TAR -- Raw Text Files |
| The Gateway Algorithm, Set 2 | UNIX Compressed TAR -- Raw Text Files |
| The Gateway Algorithm, Set 3 | UNIX Compressed TAR -- Raw Text Files |
| The Gateway Algorithm, Set 4 | UNIX Compressed TAR -- Raw Text Files |
| The Gateway Algorithm, Set 5 | UNIX Compressed TAR -- Raw Text Files |
| Basic Experimental Results | UNIX Compressed TAR -- Raw Text Files |
| Levelized Gateway Algorithm, Set 0 | UNIX Compressed TAR -- Raw Text Files |
| Levelized Gateway Algorithm, Set 1 | UNIX Compressed TAR -- Raw Text Files |
| Levelized Gateway Algorithm, Set 2 | UNIX Compressed TAR -- Raw Text Files |
| Levelized Gateway Algorithm, Set 3 | UNIX Compressed TAR -- Raw Text Files |
| Levelized Gateway Algorithm, Set 4 | UNIX Compressed TAR -- Raw Text Files |
| Multi-Delay Gateways | UNIX Compressed TAR -- Raw Text Files |
| Optimized Convergence Algorithm | UNIX Compressed TAR -- Raw Text Files |
| The Parallel Technique | UNIX Compressed TAR -- Raw Text Files |
| The PC Set Method | UNIX Compressed TAR -- Raw Text Files |
| The shadow algorithm set 0. | UNIX Compressed TAR -- Raw Text Files |
| The shadow algorithm set 1. | UNIX Compressed TAR -- Raw Text Files |
| Scheduling gates in the Convergence Algorithm set 0. | UNIX Compressed TAR -- Raw Text Files |
| Scheduling gates in the Convergence Algorithm set 1. | UNIX Compressed TAR -- Raw Text Files |
| Scheduling gates in the Convergence Algorithm set 2. | UNIX Compressed TAR -- Raw Text Files |
| The synchronous parallel technique | UNIX Compressed TAR -- Raw Text Files |
| Unit delay compiled simulation | UNIX Compressed TAR -- Raw Text Files |
This is the data that was used to obtain the numbers appearing in our various tech reports and publications.
Problems
Report any problems, complements, or comments to Peter M.
Maurer at
peter_maurer@baylor.edu
Phone: (254) 710-7305
Fax: (254) 710-3889
Address:
-- Department of Computer Science
-- Box 97356
-- Baylor University
-- Waco, TX 76798-7356
-- USA.
