Search Results - RepositoryStats

16

147

mit

12

A fast SAT solver

fuzzing testing concurrent resolution sat-solver circuit-sat dependencies verification logic-circuit boolean-formulas logic-programming artificial-intelligence

Created 2016-07-23

158 commits to master branch, last one 3 years ago

23

136

gpl-3.0

13

IceChips is a library of all common discrete logic devices in Verilog

eda 7400 fpga icestorm iverilog digital-logic logic-circuit open-hardware verilog-components

Created 2017-12-31

100 commits to main branch, last one about a month ago

13

110

mit

5

This repository has no description...

logic-gates logic-circuit logic-simulator circuit-emulation digital-electronics javascript-applications logic-circuit-simulator

Created 2018-05-06

156 commits to master branch, last one about a year ago

28

64

mit

3

A logic circuit simulator made with p5.js library.

js p5js logic simulator logic-gate logic-gates logic-circuit logic-gate-simulator logic-circuit-simulator

Created 2019-08-03

26 commits to master branch, last one about a year ago

2

40

unknown

5

Complex Programmable Logic Device (CPLD) Guide

cpld fpga awesome verilog circuits hardware resources logicgates awesome-list logic-circuit awesome-resource hardware-designs awesome-resources integrated-circuits

Created 2021-11-08

7 commits to main branch, last one 2 years ago