From b381a158e81582fceddf11f91c8583e00af36680 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Matthias=20K=C3=B6fferlein?= Date: Sat, 2 Mar 2019 11:24:36 +0100 Subject: [PATCH] Updated Deep Verification Base (markdown) --- Deep-Verification-Base.md | 1 + 1 file changed, 1 insertion(+) diff --git a/Deep-Verification-Base.md b/Deep-Verification-Base.md index 93d819a..e4525eb 100644 --- a/Deep-Verification-Base.md +++ b/Deep-Verification-Base.md @@ -8,6 +8,7 @@ Updates: * [[2019-02-03 Implicit connection of nets with same label|2019-02-03]] * [[2019-02-05 Hierarchical merge and performance on a real testcase|2019-02-05]] * [[2019-02-17 Hierarchical DRC operations|2019-02-17]] +* [[2019-03-02 More hierarchical operations and antenna check|2019-03-01]] # The problem