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.
A visual and constructive framework for teaching digital circuits.
Generate ATPG for fault detection on Verilog circuits. C++/QT
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