|
ADA BenchmarksThe ADA center contributes to many benchmark suites. A full list can be found on the research center's website. Benchmarks: ADA Center
|
|
DyGraphDyGraph is a benchmark suite of dynamic graph applications. It includes a collection of dynamic graph datasets and a synthetic dynamic graph dataset modeler. Benchmarks: Dygraph
|
|
MilSpecMilSpec is a set of open-source benchmarks targeted at national defense applications – but also useful for the broader accelerator design space. These benchmarks focus on end-to-end applications that exercise a wide range of signal processing, communications, image processing/computer vision, knowledge formation, and other capabilities. Benchmarks: Milspec
|
|
NocVisionNoCVision is a graphical visualization tool for analysis of Network-on-Chip systems. It provides a visual display of packet information generated during Network-on-Chip simulations, making the design analysis easier. It can accept a wide range of data associated with links, routers, and virtual channels to generate a graph that is intuitive, easy to navigate and flexible. Current release: NocVision
|
|
PacketGeniePacketGenie is a traffic generator designed to help Network-on-Chip (NoC) researchers analyze their network interconnect designs when running heterogeneous workloads. Researchers can use PacketGenie to generate traffic testbenches for the heterogeneous systems that they want to test, and then use the generated testbench on a cycle-accurate network simulator, such as BookSim, to test their interconnect designs. Current release: PacketGenie
|
|
CrashTestCrashTest is a fast, high-fidelity, flexible resiliency analysis system. Starting from a hardware description model of the design under analysis, CrashTest is capable of orchestrating and performing a comprehensive design resiliency analysis by examining how the design reacts to faults while running software applications. Download: CrashTest |
|
Bug UnderGroundA suite of Verilog designs of complex microprocessors with functional bugs. The majority of the bugs occur in complex corner cases of microprocessor operation and are inspired by publicly available errata from Intel, AMD, and other processor manufacturers. Free testbench distribution. Download: Bug UnderGround
|
|
FunSATFunSAT is a human-computing inspired game to solve Boolean satisfiability problems. We have developed both single-player and multi-player versions of the game. If you like puzzle games, you will like playing FunSAT! Demo: FunSAT 1.1
|
|
InfernoInferno automatically infers the functionality of a hardware design using Verilog source code and simulation traces. It breaks up observed behavior into transactions and presents them as compact graphs to the user. Free software distribution. Current release: Inferno
|
|
StaccatoSTACCATO is a software package that efficiently computes Disjoint Support Decompositions from BDDs. Disjoint Support Decompositions (DSDs) have many application purposes such as in the formal verification and logic synthesis domains. DSDs also provide a functional representation that is more descriptive than a standard BDD while requiring similar amounts of memory. Current release: Staccato
|