MAxPy: A Framework for Bridging Approximate Computing Circuits to its Applications

Learning to Solve SMT Formulas Fast

The Z3 Theorem Prover

A toolkit for SAT-based prototyping in Python

An automated fault localization tool for Python programs.

The source code from the original AlphaRepair (automated program repair tool) replication package, along with added documentation for ease of use.

Approximate Logic Synthesis and Bi-Decomposition of Sum Of Products forms

ABACUS is a tool for approximate logic synthesis

Python implementation of the catalog-based Aig-rewriting approximate Logic Synthesis technique

Heatmap Clustering to Understand the Misbehaviours Exposed by Automatically Generated Test Inputs

Basic RISC-V Test SoC

16-bit CPU written in VHDL

This repository includes set of Verilog benchmarks

ALSRAC: Approximate Logic Synthesis by Resubstitution with Approximate Care Set

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

Efficient resubstitution-based approximate logic synthesis

USI Computer Graphics Rendering Competition 2023

Just recipes I wanna keep track of

ALSRAC: Approximate Logic Synthesis by Resubstitution with Approximate Care Set

ABC: System for Sequential Logic Synthesis and Formal Verification

The SubXPAT approximate logic synthesis framework

Simple VHDL examples using ghdl as compiler and wave generating