All Posts - Pascal Cotret @ ENSTA, Brest campus

All Posts

2025

Debugging Keystone in QEmu 05-21

Adding a software example in the Keystone framework 05-21

Running Keystone on the CVA6 RISC-V processor 04-15

Running Keystone and a simple enclave application in QEmu 02-26

2023

CVA6 and JIT domain tests - Setup for a fresh install 10-19

CVA6 - Adding a CSR and verifying the behavior in GTKwave 09-06

CVA6 - Verilator model and VCD generation 08-23

Rocket RISC-V processor - Dot diagrams 07-07

Rocket RISC-V processor - Debugging a program 06-22

Playing with Verilator and GTKWave 06-15

Rocket RISC-V processor - Adding custom instructions 05-30

Capstone 101 - Decoding RISC-V instructions 04-25

Rocket RISC-V processor - Adding a custom CSR, hardware point of view 04-18

Rocket RISC-V processor - Adding a custom CSR, software point of view 02-06

2022

How to add a processor in LiteX? 06-06

2020

Arduino Due vs. embedded C - ARM reversing 05-03

Arduino vs. embedded C - AVR reversing 05-01