Verification reports are XML files with informations about verifications. It provides a list of (VHDL) source files, description of verified component, formulas and results.

Examples and all other necessary files are in Liberouter CVS: liberouter/ver/reports/.
Needs Java and Saxon.

Simple XML structure

Instructions

Validation of your Verification reports in XML could be done using:
xmllint -noout -valid sample_ver.xml
No output means valid XML file.
The DTD file for Verification reports verification.dtd is required.

For example: using make sample_ver.html the new file sample_ver.html could be created, acording XSL rules in verification2xhtml.xsl.

Known problems

The command make sample_ver.html do not work on our local machine merlot.ics.muni.cz.

Using the command
xsltproc verification2xhtml.xsl sample_ver.xml > sample_ver2.html
we obtain similar file, but xsltproc do not support XSLT version 2.