Writing Testbenches: Functional Verification of HDL Models

Writing Testbenches using SystemVerilog

System and software verification using Petri nets: For functional safety of ISO 26262 requirements

Discrete Element Method in the Design of Transport Systems: Verification and Validation 3D Models

Functional Models and the Question of Truth (APHS Founding Papers, Band 4)