From: Jacob Lifshay Date: Tue, 2 Aug 2022 17:33:14 +0000 (-0700) Subject: fix URL rendering for VAMP cpu links X-Git-Tag: opf_rfc_ls005_v1~905 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=7f79567ce523c41b6ff664c05d001cf0a2cb934a;p=libreriscv.git fix URL rendering for VAMP cpu links --- diff --git a/resources.mdwn b/resources.mdwn index d3c0151d3..e457e9245 100644 --- a/resources.mdwn +++ b/resources.mdwn @@ -328,11 +328,11 @@ Some learning resources I found in the community: VAMP CPU * Formal verification of a fully IEEE compliant floating point unit -https://publikationen.sulb.uni-saarland.de/bitstream/20.500.11880/25760/1/ChristianJacobi_ProfDrWolfgangJPaul.pdf -* https://www-wjp.cs.uni-sb.de/forschung/projekte/VAMP/?lang=en + +* * the PVS/hw subfolder is under the 2-clause BSD license: - https://www-wjp.cs.uni-sb.de/forschung/projekte/VAMP/PVS/hw/COPYRIGHT -* https://alastairreid.github.io/RelatedWork/papers/beyer:ijsttt:2006/ + +* ## Automation