diff --git a/Deep-Verification-Base.md b/Deep-Verification-Base.md index 3a57f81..93d819a 100644 --- a/Deep-Verification-Base.md +++ b/Deep-Verification-Base.md @@ -7,6 +7,7 @@ Updates: * [[2019-02-01 SPICE writer and more improvements|2019-02-01]] * [[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]] # The problem