Reference models

11 June 2026 · Semiconductor Engineering, Brian Bailey · Report · Quoted

Can AI Create Missing Models?

Quoted on using AI to create missing models: functional correctness and implementation correctness are different properties, and production use of AI-generated design content needs verification in the loop.

6 June 2023 · RISC-V Summit Europe 2023, Barcelona · Talk · Speaker

RISC-V Models for Verification, Software Development and Architectural Exploration