Similar Items: Reward-Weighted On-Policy Distillation with an Open Property-Equivalence Verifier for NL-to-SVA Generation
- AccelSync: Verifying Synchronization Coverage in Accelerator Pipeline Programs
- Beyond Static Policies: Exploring Dynamic Policy Selection for Single-Thread Performance Optimization
- SPEC CPU: The Next Generation
- Not All Faults Are Equal: Transient-Fault Sensitivity Characterization of an Open-Source RISC-V Vector Cluster
- An Open-Source Flow for Single-Phase, Edge-Triggered to Two-Phase, Non-Overlapping Clocking Conversion
- Heterogeneous SoC Integrating an Open-Source Recurrent SNN Accelerator for Neuromorphic Edge Computing on FPGA