Papers¶
Technical papers on the motivation, design, and application of ml-hpi.
Paper |
Downloads |
|---|---|
ml-hpi: Unifying Verification APIs Across Languages and Integration Levels An introduction to the motivation for ml-hpi — test reuse from block to subsystem to SoC, verification-specific interface requirements (hierarchical context and blocking calls), the common semantic model, and extending to PSS. |