Pinned Loading

1. VACSEM VACSEM Public

   VACSEM: Verifying Average Errors in Approximate Circuits Using Simulation-Enhanced Model Counting

   C 10

2. SJTU-ECTL/ALSRAC SJTU-ECTL/ALSRAC Public

   ALSRAC: Approximate Logic Synthesis by Resubstitution with Approximate Care Set

   C++ 20 7

3. SJTU-ECTL/VECBEE SJTU-ECTL/VECBEE Public

   VECBEE: A Versatile Efficiency-Accuracy Configurable Batch Error Estimation Method for Greedy Approximate Logic Synthesis

   C++ 13 5

4. SJTU-ECTL/MECALS SJTU-ECTL/MECALS Public

   An approximate logic synthesis tool under the maximum error constraint

   Verilog 6

5. ResubALS ResubALS Public

   Efficient resubstitution-based approximate logic synthesis

   C++ 10

6. AppMult-Aware-Retraining AppMult-Aware-Retraining Public

   Pytorch implementation of approximate multiplier-aware retraining for deep learning models (DATE'25)

   C++ 9 1