PhD Researcher, Computer Engineer.
Projects on EDA tools, digital hardware design, processor architectures, and software for embedded systems.
-
mockturtle Public
Forked from lsils/mockturtleC++ logic network library
-
abc Public
Forked from berkeley-abc/abcABC: System for Sequential Logic Synthesis and Formal Verification
C Other UpdatedOct 15, 2024 -
aletempiac.github.io Public
Forked from academicpages/academicpages.github.ioJavaScript MIT License UpdatedOct 14, 2024 -
yosys Public
Forked from YosysHQ/yosysYosys Open SYnthesis Suite
C++ ISC License UpdatedApr 17, 2024 -
-
CS453-2021-project Public
Forked from LPD-EPFL/CS453-2021-projectConcurrent Algorithms Project 2021
C++ UpdatedDec 6, 2021 -
lorina Public
Forked from hriener/lorinaC++ parsing library for simple formats used in logic synthesis and formal verification
C++ MIT License UpdatedNov 8, 2021 -
linux-config Public
My personal configuration of Linux with vim and i3wm
-
DES-cracker Public
DES cracking machine on FPGA
-
Baffo-Robot Public
Software to be run on a Lego EV3 brick, whose purpose is to autonomously detect and collect balls in a field and throw them in a basket.
-
dlx Public
Digital design and synthesis of a DLX processor in VHDL
-
lowpower_opt Public
Low Power Optimization Script
Tcl GNU General Public License v3.0 UpdatedJan 27, 2019