exhaustive-verification

Here are 2 public repositories matching this topic...

Connectome-constrained circuit synthesis: the fly giant-fiber escape reflex as exhaustively verified NAND/LATCH netlists

Verified 27-word quaternary covering code improving the audited K_4(8,4) upper bound

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