Skip to content
#

gate-level

Here are 15 public repositories matching this topic...

Gate-level carry-lookahead adders in the dual product-of-sums form, 2421 decimal adders and hazard-free two-level logic. SAT proofs over all 2^33 inputs, transport-delay timing checked against hand derivations, and an automated static-hazard glitch scan. Pinned-toolchain CI.

  • Updated Oct 12, 2026
  • SystemVerilog

Add this topic to your repo

To associate your repository with the gate-level topic, visit your repo's landing page and select "manage topics."

Learn more