Papers
======

Technical papers on the motivation, design, and application of ml-hpi.

.. list-table::
   :widths: 60 40
   :header-rows: 1

   * - 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.
     - `Read online <ml_hpi_whitepaper.html>`_ |
       :download:`PDF <../_static/ml_hpi_whitepaper.pdf>`

.. toctree::
   :hidden:

   ../ml_hpi_whitepaper