Tools

Back To Asynchronous Logic
Asynchronous Tools

Tool Description Platform Download
AC-TSPC remote ? WWW site
Analyze local ? WWW site
ATACS remote Linux, MacOS, Windows, Sun Solaris WWW site
ATN_OPT remote Linux WWW site
Balsa remote Unix FTP
BMC, SMV, CSML, CV and MCB local ? WWW site
CaSCADE tools remote Linux
DES Analyzer remote Linux WWW site
DGC local Windows, UNIX, MacOSX WWW site
DI2PN remote Unix WWW site
Diana remote Unix WWW site
LARD remote Unix
LAST remote ??
Ludwig remote ?
MEAT local ? WWW site
MINIMALIST remote Linux WWW site
MVSIS 2.0 remote Source WWW site
PCHB/STFB remote MOSIS
Phased Logic remote ? WWW site
SPHINX remote Solaris FTP
Syndi remote Unix WWW site
TAST remote ?
VerilogCSP remote Verilog
Versify local ? WWW site
VSTGL (Visual STG Lab) remote ? WWW site
Weaver remote ? WWW site

Apparently defunct tools

These have disappeared or the URL has changed.

Tool Description Platform Download
3D local ? WWW site
ASSASSIN local ? FTP
Digg remote UNIX (Sparc)
FIREMAPS remote WWW Demo WWW site
FORCAGE local DOS FTP
HORN remote Perl 5
Persia remote Source(?) WWW site
Petrify local ? WWW site
SIS local ? FTP
Steffi remote ?
SYN local ? FTP
Synchronised Transitions local ? FTP
TIMVER remote ? TAR
VERDECT local Unix (Sparc) FTP
VHDL++ remote Linux WWW site
Acknowledgements

Thank you goes to these people (in random order) for providing the information :
  • lavagno[at]polv2k.polito.it --------------- Luciano Lavagno
  • kishinev[at]u-aizu.ac.jp ------------------ Michael Kishinevsky
  • sean[at]redacam.redac.com ----------------- Sean Morley
  • k.stevens[at]ieee.org --------------------- Ken Stevens
  • nowick[at]cs.columbia.edu ----------------- Steve Nowick
  • David.Long[at]tempura.logi.cs.cmu.edu ----- David Long
  • puri[at]enel.ucalgary.ca ------------------ Ruchir Puri
  • pabeerel[at]viterbi.stanford.edu ---------- Peter Beerel
  • jebergen[at]uwaterloo.ca ------------------ Jo Ebergen
  • ykman[at]imec.be -------------------------- Chantal Ykman
  • polly[at]grover.stanford.edu -------------- Polly Siegel
  • ald[at]cs.utah.edu ------------------------ Al Davis
  • kyy[at]paperchase.Stanford.EDU ------------ Kenneth Yun
  • nigel[at]cogency.co.uk -------------------- Nigel Paver
  • jdp[at]elis.rug.ac.be --------------------- Jo Depreitere
  • oriol[at]ac.upc.es ------------------------ Oriol Roig
  • rhod[at]cs.man.ac.uk ---------------------- Rhod Davies
  • endecotp[at]cs.man.ac.uk ------------------ Phil Endecott
  • willem[at]cs.rug.nl ----------------------- Willem Mallon
  • perr[at]ifi.uio.no ------------------------ Per Torstein Røine
  • perk[at]ifi.uio.no ------------------------ Per Arne Karlsen
  • hans_p[at]excite.com ---------------------- Hans P. Palbøl
  • vivakil[at]scf-fs.usc.edu ----------------- Vida Vakilotojar
  • radu[at]macs.ece.mcgill.ca ---------------- Radu Negulescu
  • Oliver Kraus
  • Frank Sill
  • traverc[at]doc.union.edu ------------------ Cherrice Traver
  • alexander.smirnov[at]gmail.com ------------ Alexander Smirnov
  • michael.theobald[at]gmail.com ------------- Michael Theobald
  • Original document prepared by Budi Rahardjo.
    Corrections and additional information welcomed (please send here).


    Last Updated: Thu 27 Mar 2008 18:14:32 GMT
    Comments to: tomsw@cs.man.ac.uk