The analysis results in results/ (the per-core evidence, readings and the generated report page)
are licensed under the Creative Commons Attribution 4.0 International License (CC BY 4.0):
https://creativecommons.org/licenses/by/4.0/
You may share and adapt them for any purpose, including commercially, provided you give appropriate credit (“fpga-verified-against by alamone”, with a link to https://github.com/alamone/fpga-verified-against), indicate if changes were made, and do not suggest endorsement.
This license covers the analysis only. Quoted excerpts of core source code remain under the licenses
of their authors, and are reproduced as short quotations for commentary, each linked to its original
line. The tool itself (fva/) is under the MIT License (see LICENSE).