Hardware security flaws make system-wide exploits possible. Tortuga Logic provides solutions to identify hardware security issues and patch them before they turn into real exploits.
Perforce
Designed with DevOps in mind, the Perforce portfolio of tools facilitate fast, high-quality product development.
Cadence
The Cadence® System Development Suite accelerates system integration, validation, and bring-up with a set of connected platforms for concurrent hardware/software design and verification.
GNOME Desktop
GNOME is a desktop environment composed of free and open-source software that runs on Linux and most BSD derivatives.
Xyce Parallel Electronic Simulator
Xyce is an open source, SPICE-compatible, high-performance analog circuit simulator, capable of solving extremely large circuit problems by supporting large-scale parallel computing platforms.
RISC-V Tools
RISC-V is a free and open ISA enabling a new era of processor innovation through open standard collaboration.
ILAng
ILAng is an open source modeling and verification platform for systems-on-chip (SoCs) using Instruction-Level Abstractions (ILA).
AVLSI
AVLSI uses formal synthesis methods for the design of provably correct, highly concurrent, reliable, and robust asynchronous systems.
Synopsys - ZeBu
Synopsys ZeBu™ is an EDA accelerator. Access is restricted at this time.
Cadence - MAGESTIC
This image provides access to Cadence MAGESTIC Analog software, developed as part of the DARPA IDEA initiative. The MAGESTIC Analog software will provide No-Human-In-the-Loop synthesis from Analog Circuit Schematic to completed Layout.
IDEA POSH Base Linux
IDEA POSH Desktop Demo
OpenROAD
OpenROAD Base Image
ALIGN
University of Minnesota ALIGN
Xilinx
Xilinx libsystemctl-soc
MAGICAL
Machine Generated Analog IC Layout. Public release version 0.2
gds2Para
Complete Integrated Circuit (IC) Layout Analysis from GDSII Design File to Parasitics Extraction