Blog
SoC Integration using Amaranth HDL
In this post, we will explore the challenges of building an SoC using Amaranth HDL to create the top-level design and integrate pre-existing...
Delving into ITP and HOL4 for digital design and verification
I came across this very interesting paper from Andreas Lööw, A Proof-Producing Translator for Verilog Development in HOL, and that piqued my...
Enabling UVM Support in Verilator Series — Basic Randomization Support for Aggregate data types
Randomness Unleashed: Basic Randomization in Verilator In a previous blog post, If-Else Constraint Support, we dove into the importance of...
Enabling UVM Support in Verilator Series — Our CI System and Test Models
A primary objective of OSVISE is to foster innovation, and PlanV as a part of this initiative, is working to bridge the gap between open-source...
OSVISE : Verilator Series –Enabling UVM Support— Part 1: If-Else Constraint Support
PlanV: Enabling UVM Support in Verilator for RISC-V Verification PlanV is a two-year-old startup in the RISC-V domain based in Munich. This blog...
OSVISE : Verilator Series – Monitor issue fix in Verilator
DI-OSVISE (De:sign Initiative - Open Source Verification von RISC-V Instruktionssatzerweiterungen) is a project sponsored by BMBF to foster the...
CVA6’s Instruction and WriteBack Data cache
Our work on Culsans (see previous blog entry) forced us to become very familiar with the architecture of the caches in CVA6. We did an in-depth...
A RISC-V MCU to for ROS2
roscore-v - this is the name of the latest project we've started together with Acceleration Robotics, a Spanish robotics semiconductor startup that...
3…2…1 Let’s start with Culsans!
Culsans - the Etruscan version of Janus, the two-faced and also four-faced god, god of the first and last of the year, of the beginning and the end,...
Adding IRQ support to CVA6 in LiteX
In the previous blog post we left the CVA6 porting in LiteX basically without interrupt support. Since this is an unacceptable solution, I've...