From fa753bc716fca895434357ff12b454869c87c11d Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Tue, 21 Sep 2021 10:46:33 +0100
Subject: Remove Functional Verification concept

---
 main.tex | 5 -----
 1 file changed, 5 deletions(-)

(limited to 'main.tex')

diff --git a/main.tex b/main.tex
index 9c010e0..be955fa 100644
--- a/main.tex
+++ b/main.tex
@@ -137,11 +137,6 @@
        <concept_desc>Hardware~High-level and register-transfer level synthesis</concept_desc>
        <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>
-- 
cgit