Software in Linux Labs


Based on departmental requests, the CAT installs a large number of software packages on supported Linux systems. The software list below also indicates which environments the software is installed in. You will need to have some knowledge of how to operate in a Linux environment – particularly in using the shell – in order to use these tools.

NOTE: The CAT is primarily involved in the installation of the software. Coaching on how to use the software and debugging your projects are beyond the scope of what the CAT can provide. Please refer to your instructor or TA and documentation they provide for guidance.

Most of the the software included in this list is installed based on faculty directives and applies to current courses being taught or research interests. This means that the versions of the software installed and whether they will continue to exist is driven by these factors. Please make sure that you are in contact with the faculty members or departments before relying on the long term use of any specific piece of software on this list.

  • CECS Labs and CS Labs are running Ubuntu Focal (20.04 LTS)
  • ECE user servers mo and auto run CentOS7 (RedHat Enterprise Linux 7 equivalent)
  • Many systems are directly accessible from off-site (Others, particularly CentOS systems and the CS Particle Lab, require the use of a VPN)

Software Available via ADDPKG

Software NameVersionLocations available
CECS Labs - FAB 55-17 Linux, ruby, rita
CS Labs - FAB 88-10, 88-09, ada, babbage
CentOS7 - mo, auto
Agilent EMPro2013_07CentOS7Branimir Pejcinovic
Agilent EMPro (testing)2015_01CentOS7Branimir Pejcinovic
Agilent IC-CAP2013_01CentOS7Branimir Pejcinovic
Allegro PCB Designer (OrCad)16.6EverywherePhilip Wong
AnacondaPython 3.7CentOS7Ted Willke
Apache Zeppelin0.7.2CECS Labs, CS LabsKristin Tufte
Biogeme2.3CECS Labs, CS LabsKelly Clifton
Cadence 171Genus Tempus InnovusCentOS7Ataur Patwary
Chapel1.18.0CECS Labs, CS LabsJingke Li
Coq8.8.1CECS Labs, CS LabsAndrew Tolmach
CUDA Libraries10.0CECS Labs, CS Labs
CUDA Libraries for applications such as tensorflow9.0CECS Labs, CS Labs
D-Flow Flexible Mesh1.1.171CECS Labs, CS LabsStefan Talke
Delft3D6906CECS Labs, CS LabsStefan Talke
Dinero Trace-Driven Uniprocessor Cache SimulatorIVCECS Labs, CS LabsMark Faust
Eclipse IDE for C/C++ Developers4.4.0Everywhere
GCC Cilk4.8.0CECS Labs, CS LabsChristof Teuscher
Generic proof assistant2013EverywhereMark Jones
Glasgow Haskell Compiler latest added version8.4.3CECS Labs, CS LabsAndrew Tolmach
HPCToolkit2019.08.14CECS Labs, CS LabsKaren Karavanic
IBM APL22.0 SL 14CECS Labs, CS LabsBryant York
Intellij Java IDE by jetbrainscommunity edition 2017.2CECS Labs, CS LabsKarla Fant
Java SE Development Kit 81.8.0Everywhere
Kics0.5.0CECS Labs, CS LabsSergio Antoy
Maven3.6.1CECS Labs, CS LabsDavid Whitlock
Mentor Flothermv93CECS Labs, CS LabsPhilip Wong
Mentor Pyxisv18.1CentOS7John Acken
Mentor Questa2019.2_1CentOS7Mark Faust
Mentor Questa ADMS15.4.1CentOS7Philip Wong
Mentor Tessent2017_4CentOS7Ataur Patwary
minigrace - A compiler for the Grace languageunknownCECS Labs, CS LabsAndrew Black
Ngspice version (testing)26EverywhereChristof Teuscher
OpenJDK Java 12 Development Kit12.0.1Everywhere
Pakcs2.1.2CECS Labs, CS LabsSergio Antoy
Portland Group Compiler 201919.4EverywhereKarla Fant
Questa CDC Formal10.7bCentOS7Tom Schubert
Racket6.11CECS Labs, CS LabsAndrew Tolmach
Scala (java8 package recommended)2.12.3CECS Labs, CS LabsAndrew Tolmach
Software for ECE 510 FPVSchubertCentOS7Tom Schubert
swift4.0.3CECS Labs, CS LabsAndrew Tolmach
SynaptiCAD software including Verilogger16.04dEverywhereMark Faust
SYNOPSYS Core Tools2017CentOS7
SYNOPSYS Design CompilerG-2012.06CentOS7Xiaoyu Song
SYNOPSYS DFT Compiler with Tetramax Overlay2016CentOS7Xiaoyu Song
SYNOPSYS Formality2017CentOS7Xiaoyu Song
SYNOPSYS Formality ESP2017CentOS7Xiaoyu Song
SYNOPSYS HSPICEN-2017.12-SP2CentOS7Branimir Pejcinovic
SYNOPSYS IC Compiler2017CentOS7Ataur Patwary
SYNOPSYS IC Validator2017CentOS7Ataur Patwary
SYNOPSYS PrimetimeO-2018.06CentOS7Ataur Patwary
SYNOPSYS Tetramax2016CentOS7Ataur Patwary
SYNOPSYS Tools 2019-06unknownCentOS7Brian Cruikshank
SYNOPSYS VCS2016CentOS7Ataur Patwary
Synopsys VCS software mxG2012.09CentOS7Ataur Patwary
SYNOPSYS VCS-MX2016CentOS7Ataur Patwary
SYNOPSYS Verdi2016CentOS7Ataur Patwary
Visual TORCS server2017-02CECS Labs, CS LabsChristof Teuscher