-
RISC-V Models for Verification, Software Development and Architectural Exploration
-
Software Development for ML and RISC-V Vector Accelerators
-
RISC-V & SoC Architectural Exploration for AI and ML Accelerators
-
A Common Software Development Environment for Many-core RISC-V based Hardware and Virtual Platforms
-
Cycle Approximate Simulation of RISC-V Processors
A technique for adding timing information to instruction-accurate simulation of RISC-V processors, so fast virtual platforms can be used for timing estimation early in a project.
-
SAFEPOWER project: Architecture for safe and power-efficient mixed-criticality systems
-
Evaluation of multicore systems soft error reliability using virtual platforms
-
Software Verification for Low Power, Safety Critical Systems
-
SAFEPOWER Project: Architecture for Safe and Power-Efficient Mixed-Criticality Systems
-
Hardware virtualization for security
-
Virtual Platform Software Simulation for Enhanced Multi-core Software Verification
-
Learning From Advanced Hardware Verification for Hardware Dependent Software
-
System-level exploration tools for MPSoC designs