diff --git a/Deep-Verification-Base.md b/Deep-Verification-Base.md index 79ea540..3a57f81 100644 --- a/Deep-Verification-Base.md +++ b/Deep-Verification-Base.md @@ -6,6 +6,7 @@ Updates: * [[2019-01-19 Persistence and some reworks|2019-01-19]] * [[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]] # The problem