phanerozoic/tiny-parity-verified
Updated
•
36
Tiny Verified Logic Circuits
Formally verified threshold logic circuits. Compatible with neuromorphic hardware.
-
-
phanerozoic/tiny-mod3-verified
Updated • 12 -
phanerozoic/tiny-mod5-verified
Updated • 7 -
phanerozoic/tiny-mod7-verified
Updated • 9 -
phanerozoic/tiny-NOT-verified
Updated -
phanerozoic/tiny-AND-verified
Updated -
phanerozoic/tiny-OR-verified
Updated -
phanerozoic/tiny-NAND-verified
Updated -
phanerozoic/tiny-NOR-verified
Updated -
phanerozoic/tiny-XOR-verified
Updated -
phanerozoic/tiny-XNOR-verified
Updated -
phanerozoic/tiny-Implies-verified
Updated -
phanerozoic/tiny-BiImplies-verified
Updated -
phanerozoic/tiny-Majority-verified
Updated -
phanerozoic/tiny-Minority-verified
Updated -
phanerozoic/tiny-1OutOf8-verified
Updated -
phanerozoic/tiny-2OutOf8-verified
Updated -
phanerozoic/tiny-3OutOf8-verified
Updated -
phanerozoic/tiny-4OutOf8-verified
Updated -
phanerozoic/tiny-5OutOf8-verified
Updated -
phanerozoic/tiny-6OutOf8-verified
Updated -
phanerozoic/tiny-7OutOf8-verified
Updated -
phanerozoic/tiny-AllOutOf8-verified
Updated -
phanerozoic/tiny-mod4-verified
Updated -
phanerozoic/tiny-mod6-verified
Updated -
phanerozoic/tiny-mod8-verified
Updated -
phanerozoic/tiny-mod9-verified
Updated -
phanerozoic/tiny-mod10-verified
Updated -
phanerozoic/tiny-mod11-verified
Updated -
phanerozoic/tiny-mod12-verified
Updated -
phanerozoic/tiny-HalfAdder-verified
Updated -
phanerozoic/tiny-FullAdder-verified
Updated -
phanerozoic/tiny-RippleCarry2Bit-verified
Updated