comsec-group/cellift-yosys external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

comsec-group/cellift-yosys

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/comsec-group/cellift-yosys)

Close

comsec-group / cellift-yosysView on GitHubMore

• External links
• Readme badge

A fork of Yosys that integrates the CellIFT pass

☆14Apr 21, 2026Updated 4 months ago

Alternatives and similar repositories for cellift-yosys

Users that are interested in cellift-yosys are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• comsec-group / cellift-meta

  View on GitHub
  All the tools you need to reproduce the CellIFT paper experiments
  ☆24Feb 11, 2025Updated last year
• comsec-group / mucfi

  View on GitHub
  Microarchitectural control flow integrity (𝜇CFI) verification checks whether there exists a control or data flow from instruction's ope…
  ☆16Jul 2, 2026Updated 2 months ago
• HWSec-UNC / verification-benchmarks

  View on GitHub
  ☆27Apr 14, 2026Updated 4 months ago
• gipsyh / rIC3

  View on GitHub
  Hardware Formal Verification Tool
  ☆114Jul 13, 2026Updated last month
• cucapra / patronus

  View on GitHub
  work in progress, playing around with btor2 in rust
  ☆15Aug 13, 2026Updated 2 weeks ago
• 1-Click AI Models by DigitalOcean Gradient • Ad
  Deploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
• kisp-nus / anvil

  View on GitHub
  ☆33Aug 5, 2026Updated 3 weeks ago
• reactive-systems / MCHyper

  View on GitHub
  A hardware model checker for hyperproperties
  ☆18Jun 14, 2024Updated 2 years ago
• Gy-Hu / HWMCC24-benchmark

  View on GitHub
  Collection for submission (Hardware Model Checking Benchmark)
  ☆13Nov 9, 2025Updated 9 months ago
• yihozhang / relational-ematching-benchmark

  View on GitHub
  ☆17Jan 5, 2022Updated 4 years ago
• rajdeep87 / verilog-c

  View on GitHub
  ANSI-C benchmarks generated from Verilog RTL circuits with safety assertions. Used for Formal Property Verification.
  ☆17Dec 1, 2018Updated 7 years ago
• HWSec-UNC / Sylvia

  View on GitHub
  ☆27Feb 19, 2026Updated 6 months ago
• liW-J / Arduino-esp8266-Web

  View on GitHub
  指纹识别测温系统物联网Web项目
  ☆10Apr 23, 2023Updated 3 years ago
• CoriolisSP / FuzzBtor2

  View on GitHub
  Random Generator of Btor2 Files
  ☆10Sep 2, 2023Updated 3 years ago
• comsec-group / encarsia

  View on GitHub
  ☆36Mar 31, 2025Updated last year
• Virtual machines for every use case on DigitalOcean • Ad
  Get dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
• gpt4rtl / AutoSVA2

  View on GitHub
  ☆18Nov 19, 2023Updated 2 years ago
• iscas-tis / CHA

  View on GitHub
  ☆18Jul 12, 2024Updated 2 years ago
• arbrad / IC3ref

  View on GitHub
  IC3 reference implementation: a short, simple, fairly competitive implementation of IC3. Read it, tune it, extend it, play with it.
  ☆71May 31, 2015Updated 11 years ago
• euphoric-hardware / simcommand

  View on GitHub
  SimCommand is a library for writing high-performance RTL testbenches with simulation threads in Scala using chiseltest.
  ☆15Aug 30, 2023Updated 3 years ago
• mit-plv / hemiola

  View on GitHub
  A Coq framework to support structural design and proof of hardware cache-coherence protocols
  ☆15May 7, 2022Updated 4 years ago
• gussmith23 / churchroad

  View on GitHub
  FPGA synthesis tool powered by equality saturation and program synthesis.
  ☆14Jan 9, 2026Updated 7 months ago
• ymanerka / rtlcheck

  View on GitHub
  RTLCheck
  ☆26Oct 9, 2018Updated 7 years ago
• alexander-nadel / intel_sat_solver

  View on GitHub
  This repository contains the code of Intel(R) SAT Solver (IntelSAT)
  ☆39Mar 25, 2025Updated last year
• shaowei-cai-group / X-SAT

  View on GitHub
  An advanced circuit-based sat solver
  ☆39Feb 24, 2025Updated last year
• AI Agents on DigitalOcean Gradient AI Platform • Ad
  Build production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
• ycunxi / ACEC_benchmarks

  View on GitHub
  Arithmetic multiplier benchmarks
  ☆12Nov 13, 2017Updated 8 years ago
• verilator / rtlmeter

  View on GitHub
  RTLMeter benchmark suite
  ☆32Updated this week
• gokhankici / iodine

  View on GitHub
  Iodine: Verifying Constant-Time Execution of Hardware
  ☆18Mar 29, 2021Updated 5 years ago
• rzhang2285 / Coppelia

  View on GitHub
  Code repository for Coppelia tool
  ☆23Nov 12, 2020Updated 5 years ago
• YosysHQ / eqy

  View on GitHub
  Equivalence checking with Yosys
  ☆61Aug 5, 2026Updated 3 weeks ago
• jix / flussab

  View on GitHub
  Collection of utlities for writing parsers. Includes a fast DIMACS CNF parser.
  ☆15Nov 19, 2024Updated last year
• prjunnamed / prjunnamed

  View on GitHub
  [MIGRATED to https://codeberg.org/prjunnamed/prjunnamed] End-to-end synthesis and P&R toolchain
  ☆95Mar 12, 2026Updated 5 months ago
• PP-FM / ppsat

  View on GitHub
  code for privacy-preserving sat solver
  ☆17Jul 14, 2023Updated 3 years ago
• ucb-substrate / substrate2

  View on GitHub
  21st century electronic design automation tools, written in Rust.
  ☆37Aug 26, 2026Updated last week
• Deploy to Railway using AI coding agents - Free Credits Offer • Ad
  Use Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
• KirisameMagicShop / kirisamemagicshop.github.io

  View on GitHub
  ☆11May 27, 2025Updated last year
• iscas-versys / BMCFuzz

  View on GitHub
  ☆23Mar 12, 2026Updated 5 months ago
• zilongwang123 / LeaVe

  View on GitHub
  A tool for checking the contract satisfaction for hardware designs
  ☆12Jul 21, 2026Updated last month
• upscale-project / generic-sqed-demo

  View on GitHub
  ☆15Feb 6, 2021Updated 5 years ago
• FPSG-UIUC / micro24-fusemax-artifact

  View on GitHub
  MICRO 2024 Evaluation Artifact for FuseMax
  ☆17Aug 26, 2024Updated 2 years ago
• NVlabs / FVEval

  View on GitHub
  LLM Evaluation Benchmark on Hardware Formal Verification
  ☆44Apr 3, 2025Updated last year
• singi / oob_timestamp

  View on GitHub
  copy of original for audit. will be remove soon
  ☆16Mar 6, 2020Updated 6 years ago