Pinned Repositories
abc
ABC: System for Sequential Logic Synthesis and Formal Verification
ALICE
LLM4HLS
Automated loop to rewrite C into synthesizable C for High-Level Synthesis
Non-deterministic-Turing-Machine-Simulator
University project for theoretical computer science and algorithms
RNG3_tt
tt06-monoibit-test
tt06_RNG2
Verilog-SDG-Extraction
Verilog System Dependence Graph Extraction
VerilogSDGv2
Weirdos--Circuit-Solver
Circuit solver based on Tableau analysis
Lucaz97's Repositories
Lucaz97/ALICE
Lucaz97/LLM4HLS
Automated loop to rewrite C into synthesizable C for High-Level Synthesis
Lucaz97/VerilogSDGv2
Lucaz97/abc
ABC: System for Sequential Logic Synthesis and Formal Verification
Lucaz97/Non-deterministic-Turing-Machine-Simulator
University project for theoretical computer science and algorithms
Lucaz97/RNG3_tt
Lucaz97/tt06-monoibit-test
Lucaz97/tt06_RNG2
Lucaz97/Verilog-SDG-Extraction
Verilog System Dependence Graph Extraction
Lucaz97/Weirdos--Circuit-Solver
Circuit solver based on Tableau analysis
Lucaz97/Android-Projects
In this repository is possible to find some of my Android projects made with Android Studio in my fifth year of high school.
Lucaz97/backdoor-detector-for-BadNets
Backdoor detector for BadNets (HW 2 for Machine Learning for cybersecurity)
Lucaz97/Corso-Python
Python scripts used in an introduction to python course
Lucaz97/Deep-Learning-Adversarial-Attacks
Lab 1 for Machine Learning security course
Lucaz97/Email-Excel-Sender
Simple email sender, reads addresses from an Excel file
Lucaz97/OpenFPGA
An Open-source FPGA IP Generator
Lucaz97/Python-Intro-2019
Material for python course 2019
Lucaz97/Pyverilog
Python-based Hardware Design Processing Toolkit for Verilog HDL
Lucaz97/reservoirpy
A simple and flexible code for Reservoir Computing architectures like Echo State Networks
Lucaz97/Tic-Tac-Toe
This is a simple version of Tic-Tac-Toe or Knots and Croses. In this version the player can only play versus an invicible AI.
Lucaz97/tt03-RTLlocked-verilog-qtcoreA1
RTL (ASSURE) Locked Verilog 8=bit microarchitecture for Tiny Tapeout 03
Lucaz97/tt06-RNG-tests2