Angelo Jacobo

icon indicating a website link https://www.linkedin.com/in/angelo-jacobo icon indicating an email [email protected]

icon location Bulacan, Philippines icon location Good morning to you

Results 2 issues of Angelo Jacobo

Fix failing simulation in Vivado

2 comment

Good day, (creating another PR as my previous one include the whole master branch) Simulation is failing in Vivado simulation: ![Screenshot from 2024-06-14 18-19-13](https://github.com/RoaLogic/Hamming-ECC/assets/87559347/378c7d04-b67e-4cd0-96dd-faaed66d012a) Looking on the testbench, it seems...

Add Formal Verification and Fix Bug

Good day, I added formal verification using the open source symbiyosys. There was a bug found: when the overall parity bit itself is corrupted, the sb_err flag is not triggered....