Alternatives and similar repositories for quine-mccluskey:

Users that are interested in quine-mccluskey are comparing it to the libraries listed below

• dreylago / logicmin
  Logic Minimization in Python
  ☆23Updated 10 months ago
• UCSBarchlab / RaceLogic
  Designs, infrastructure, and experiments around Race Logic
  ☆23Updated 4 years ago
• RRZE-HPC / pycachesim
  Python Cache Hierarchy Simulator
  ☆94Updated 4 months ago
• Gigantua / Espresso
  Espresso heuristic logic minimizer made C++20 Windows 10 compatible - University of California, Berkeley
  ☆47Updated 11 months ago
• gr-rahimi / APSim
  ☆23Updated 3 years ago
• cucapra / dahlia
  Time-sensitive affine types for predictable hardware generation
  ☆138Updated 7 months ago
• utwente-fmt / sylvan
  Multi-core Decision Diagram (BDD/LDD) implementation
  ☆42Updated last year
• stanford-ppl / spatial-multiverse
  Provides Spatial with front-end support from popular machine learning frameworks
  ☆32Updated 5 years ago
• apl-cornell / PDL
  A Hardware Pipeline Description Language
  ☆44Updated last year
• msoeken / cirkit
  A circuit toolkit
  ☆97Updated 4 years ago
• pnnl / COMET
  ☆40Updated this week
• tjt7a / AutomataZoo
  Automata Benchmark Suite
  ☆19Updated last year
• jiegec / rvv-kernels
  Implements kernels with RISC-V Vector
  ☆21Updated last year
• blucia0a / MultiCacheSim
  A Coherent Multiprocessor Cache Simulator Based on the SuperESCalar Cache Model
  ☆25Updated 11 years ago
• hriener / lorina
  C++ parsing library for simple formats used in logic synthesis and formal verification
  ☆35Updated 7 months ago
• dovedevic / blimp
  A PIM instrumentation, compilation, execution, simulation, and evaluation repository for BLIMP-style architectures.
  ☆17Updated 2 years ago
• uwuser / MCsim
  ☆11Updated 3 years ago
• lsils / lstools-showcase
  Showcase examples for EPFL logic synthesis libraries
  ☆192Updated 10 months ago
• d-kfmnn / amulet2
  AMulet 2. - A better AIG Multiplier Examination Tool
  ☆23Updated 2 years ago
• parsa-epfl / qflex
  Quick & Flexible Rack-Scale Computer Architecture Simulator
  ☆32Updated this week
• sarachour / legno-compiler
  a compiler for the Apollo project that targets the HCDCv2 Analog Device
  ☆30Updated 3 years ago
• Errare-humanum-est / ProtoGen
  Designing directory cache coherence protocols is complicated because coherence transactions are not atomic in modern multicore processors…
  ☆16Updated 3 years ago
• AntonLydike / riscemu
  RISC-V emulator in python
  ☆53Updated 7 months ago
• thoughtworks / hardposit-chisel3
  Chisel library for Unum Type-III Posit Arithmetic
  ☆36Updated 10 months ago
• lsils / SCE-benchmarks
  Optimization results for superconducting electronic (SCE) circuits
  ☆12Updated last year
• cristian-mattarei / CoSA
  CoreIR Symbolic Analyzer
  ☆63Updated 4 years ago
• pfpacket / Quine-McCluskey
  Simplifier of logical functions using Quine-McCluskey algorithm
  ☆27Updated 6 years ago
• YosysHQ / eqy
  Equivalence checking with Yosys
  ☆40Updated last week
• IntelLabs / t2sp
  Productive and portable performance programming across spatial architectures (FPGAs, etc.) and vector architectures (GPUs, etc.)
  ☆31Updated 9 months ago
• aswaterman / trainwreck
  Original RISC-V 1.0 implementation. Not supported.
  ☆41Updated 6 years ago