huaixil

huaixil's Stars

• p-org/P

  The P programming language.

  Language:C#3.1k106262179

• aws/amazon-freertos

  DEPRECATED - See README.md

  Language:C2.5k2278301.1k

• PrincetonUniversity/openpiton

  The OpenPiton Platform

  Language:Assembly6515769217

• bespoke-silicon-group/basejump_stl

  BaseJump STL: A Standard Template Library for SystemVerilog

  Language:SystemVerilog5313018599

• riscv/sail-riscv

  Sail RISC-V model

  Language:Coq48045242171

• awslabs/aws-c-common

  Core c99 package for AWS SDK for C. Includes cross-platform primitives, configuration, data structures, and error handling.

  Language:C26540111160

• PrincetonUniversity/hpc_beginning_workshop

  Language:Shell1398244

• PrincetonUniversity/ILAng

  A Modeling and Verification Platform for SoCs using ILAs

  Language:C++75139718

• cristian-mattarei/CoSA

  CoreIR Symbolic Analyzer

  Language:Python6272015

• loonwerks/jkind

  JKind - An infinite-state model checker for safety properties in Lustre

  Language:Java52124831

• harvard-acc/FlexASR

  FlexASR: A Reconfigurable Hardware Accelerator for Attention-based Seq-to-Seq Networks

  Language:C++42706

• PrincetonUniversity/IMDb-Archive

  ILA Model Database

  Language:C++20674

• vlad17/princeton-cos418-review

  Study Guide for COS 418

  11313

• PrincetonUniversity/IMDb

  The ILA model database

  5601

• upscale-project/case-studies

  Case studies

  Language:Verilog5222

• yuex1994/ICCAD22_composition

  Language:Verilog4100

• PrincetonUniversity/template-ila

  Language:Python360

• Bo-Yuan-Huang/garnet-ila

  The ILA model of the garnet design from Stanford AHA

  Language:Verilog2201

• djapp18/NVDLA_SDP

  ILAng model for the SDP core in the open source NVDLA accelerator

  Language:C++22

• kevinkboat/ILA-models

  Language:C++1