digital-circuits

Digital logic design tool and simulator

A digital logic designer and circuit simulator.

CircuitVerse Primary Code Base

A free, open source, online digital circuit/logic designer.

API of homomorphic binary operations such as binary comparisons or binary divisions using the library HElib

Simulation of Ben Eater's 8 bit computer running in the logic simulator called Digital

Tydi: an open specification for complex data structures over hardware streams

Fritzing parts for most common DIP ICs including 74LS Series and more, which is used in Digital Electronics or Logic Circuit and Design.

Educational software for modelling and simulation of digital circuits.

Describing RTL circuit in Ruby

A visual and constructive framework for teaching digital circuits.

Generate ATPG for fault detection on Verilog circuits. C++/QT

Lectures on Digital Design

Slides for my talk at ACT 2022, 'Fully abstract categorical semantics for digital circuits'

Windows application for designing and simulating digital logic circuits, written in C++ using CMU graphics library.

Motorcycle LCD Digital Speedometer Odometer

MapBuf: Simultaneous Technology Mapping and Buffer Insertion for HLS Performance Optimization

Arquitetura e Organização de Computadores DCC301: Avaliação de Barramento

Extended abstract for my SYCO 8 talk, 'Normalisation by evaluation for digital circuits'

Generates the Latex Code for the Boolean Function