Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by PrincetonUniversity
A curated list of projects in awesome lists by PrincetonUniversity .
https://github.com/PrincetonUniversity/prga
Open-source FPGA research and prototyping framework.
Last synced: 30 Jul 2024
https://github.com/PrincetonUniversity/PsyNeuLink
A block modeling system for cognitive neuroscience
cognitive-science modeling-tools neuroscience
Last synced: 02 Aug 2024
https://github.com/PrincetonUniversity/ILAng
A Modeling and Verification Platform for SoCs using ILAs
abstraction accelerator formal heterogeneous ila ilang system-on-chip verification
Last synced: 03 Aug 2024
https://github.com/PrincetonUniversity/AutoSVA
AutoSVA is a tool to automatically generate formal testbenches for unit-level RTL verification. The goal is to, based on annotations made in the signal declaration section of an RTL module, generate liveness properties so that the module would eventually make forward progress.
design methodology-development rtl sva systemverilog verification verilog
Last synced: 03 Aug 2024
https://github.com/PrincetonUniversity/muchisim
Simulator framework for analysis of performance, energy consumption, area and cost of multi-node multi-chiplet tile-based manycore designs
cost-model data-centric data-local energy-model execution manycore multi-chip multi-chiplet network performance-modeling-and-analysis pgas simulation simulator
Last synced: 03 Aug 2024