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++ 18 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++ 11 5

4. SJTU-ECTL/HEDALS SJTU-ECTL/HEDALS Public

   Highly efficient delay-driven approximate logic synthesis

   Verilog 4 1

5. SJTU-ECTL/MECALS SJTU-ECTL/MECALS Public

   An approximate logic synthesis tool under the maximum error constraint

   Verilog 5

6. ResubALS ResubALS Public

   Efficient resubstitution-based approximate logic synthesis

   C++ 4