|
Computer Architecture and Embedded System Group |
|
Software Tools we produce |
|
NePSim is the first open-source integrated infrastructure for analyzing and optimizing NP design and power dissipation at architecture-level. NePSim contains a cycle-accurate simulator for a typical NP architecture, an automatic verification framework for testing and validation, and a power estimation model for measuring the power consumption of the simulated NP. NePSim achieves high accuracy in both performance and power modeling. |
|
The eBlock simulator models many of the eBlock prototypes. Users can then build and test before ever having to use physical blocks. For advanced users we also have the option of a partitioning tool which simplifies eBlock systems into a system of smaller blocks accomplishing the equivalent functionality but utilizes programmable eBlocks. The partitioner automatically generates the corresponding code. |
|
PAC (Performance Assertion Checker) is an automatic checker generation tool for Logic of Constraints (LOC). It takes LOC formulas and generates corresponding C++ checkers, which can be used as static trace checkers or integrated into simulation tools as assertion monitors. In addition, LOC Trace Checker Generator (LOCGen) is developed to directly generate trace checkers with the same data structures and algorithms as used in PAC. It takes a standard LOC formula specification, an event and annotation specification, and a trace format specification, and generates a C++ program to analyze traces for LOC formulas. |
