Pinned Repositories
AXI_PV
Verification based on ILA
basejump_stl
BaseJump STL: A Standard Template Library for SystemVerilog
bsg_offchip
FlexASR
FlexASR: A Reconfigurable Hardware Accelerator for Attention-based Seq-to-Seq Networks
Hierarchy-ILA-Proof
Hierachical ILA Verification: refinement checking between the high-level ILA and the ILA composition
ILA_CCP
OpenPiton Cache Coherence Protocol Verification
ILA_composition
Case studies for ILA composition model and verification
ILA_Nibbler
ILA_Offchip_Protocol
Protocol_Verification
huaixil's Repositories
huaixil/ILA_CCP
OpenPiton Cache Coherence Protocol Verification
huaixil/bsg_offchip
huaixil/Protocol_Verification
huaixil/AXI_PV
Verification based on ILA
huaixil/basejump_stl
BaseJump STL: A Standard Template Library for SystemVerilog
huaixil/FlexASR
FlexASR: A Reconfigurable Hardware Accelerator for Attention-based Seq-to-Seq Networks
huaixil/Hierarchy-ILA-Proof
Hierachical ILA Verification: refinement checking between the high-level ILA and the ILA composition
huaixil/ILA_composition
Case studies for ILA composition model and verification
huaixil/ILA_Nibbler
huaixil/ILA_Offchip_Protocol
huaixil/off_chip_sec
huaixil/P
The P programming language.