|The DES (Discrete Event System) Analyzer, release v0.1
A Performance Analysis and Timing Verification Tool
for Concurrent Digital Systems
|Version 0.1 of the DES Analyzer Tool is now available for Linux platforms.|
The DES Analyzer is a set of CAD tools for the performance analysis and
timing verification of concurrent digital systems. The system is modeled by a restricted
form of a Petri net, called a marked graph.
Two analysis tools are included in the package: des-tse and des-perf. The des-tse tool computes the minimum and maximum time separation between any two events (TSE) in the system where the min/max delay bounds of each system component are supplied by the user. The des-perf tool computes the asymptotic average-case performance metrics of the system where the mean delay for each system component is supplied by the user (the component delays are assumed to have an exponential distribution).
Please fill out the registration form below to download The DES (Discrete Event System) Analyzer now.
|Please note: If you enter an invalid e-mail address, we will not be able to notify you of updates.|
The DES (Discrete Event System) Analyzer is part of the CaSCADE tool package, a joint project between Columbia University and USC.
The CaSCADE tool package release was made possible by generous support from
NSF ITR Award No. NSF-CCR-0086036.
The development of the individual tools in CaSCADE was supported in part by the above NSF grant, and by some additional funding (see each downloaded tool individually for further information).