diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-09-21 10:46:33 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-09-21 10:46:33 +0100 |
commit | fa753bc716fca895434357ff12b454869c87c11d (patch) | |
tree | 00ab7f6d0033f4a9574ce64ba6b8e8cf0e7551c2 /main.tex | |
parent | 619ee53a96d94a3f4764f5ae788d9270c1bd8c60 (diff) | |
download | oopsla21_fvhls-fa753bc716fca895434357ff12b454869c87c11d.tar.gz oopsla21_fvhls-fa753bc716fca895434357ff12b454869c87c11d.zip |
Remove Functional Verification conceptoopsla21-final
Diffstat (limited to 'main.tex')
-rw-r--r-- | main.tex | 5 |
1 files changed, 0 insertions, 5 deletions
@@ -138,11 +138,6 @@ <concept_significance>500</concept_significance> </concept> <concept> - <concept_id>10010583.10010717.10010721</concept_id> - <concept_desc>Hardware~Functional verification</concept_desc> - <concept_significance>300</concept_significance> - </concept> - <concept> <concept_id>10011007.10011074.10011099.10011692</concept_id> <concept_desc>Software and its engineering~Formal software verification</concept_desc> <concept_significance>500</concept_significance> |