FAN (fan-out-oriented) ATPG (Automatic Test Pattern Generation) and Fault Simulation command line tool

Bag of Tricks for NN Quantization

A Removal and Structural Analysis Attack

An implementation of the Generalized Lloyd method for vector quantization

Linear algebra foundation for the Rust programming language

Lower Size Bounds for Sorting Networks

SPOT: Sliced Partial Optimal Transport

This repository contains the code of Intel(R) SAT Solver (IntelSAT)

All logic benchmarks in one place

A modern hardware definition language and toolchain based on Python

Logic locking of a design build on TinyTapeout

Linear optimization software

Safe rust bindings to the Highs MILP Solver.

Rust binding for the HiGHS linear programming solver

This library aims to provide implementations of elements commonly used in the development on software in the area of satisfiability solving. The focus of the library is to provide as much ease of u…

Implementation of logic function as lookup tables and sum of products

Logic circuit analysis and optimization

Yosys plugin for logic locking and supply-chain security

Cargo command to create the README.md from your crate's documentation

🕺 Interpretation loop and JIT code generator to benchmark RISC-V isolation mechanisms

Rust bindings for the Kissat SAT Solver

Tutorial, examples and regression tests for Coriolis & Alliance (LIP6)

Coriolis VLSI EDA Tool (LIP6)

A High-performance Timing Analysis Tool for VLSI Systems

Generalized and Efficient Blackbox Optimization System

VLSI placement and routing tool

KaHyPar (Karlsruhe Hypergraph Partitioning) is a multilevel hypergraph partitioning framework providing direct k-way and recursive bisection based partitioning algorithms that compute solutions of …