From 8a62deb37766f2beae0bb9d2ab13f8aa94ea0dd1 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Matthias=20K=C3=B6fferlein?= Date: Sat, 2 Feb 2019 01:35:59 +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 c91ed65..401e554 100644 --- a/Deep-Verification-Base.md +++ b/Deep-Verification-Base.md @@ -4,6 +4,7 @@ Updates: * [[2018-12-31 First functional implementation of a netlist extractor|2018-12-31]] * [[2019-01-07 Stable implemenation + performance improvements, additional functionality|2019-01-07]] * [[2019-01-19 Persistence and some reworks|2019-01-19]] +* [[2019-02-01 SPICE writer and more improvements|2019-02-01]] # The problem