Updated Deep Verification Base (markdown)

Matthias Köfferlein 2019-02-03 21:41:37 +01:00
parent 7e1d3b2465
commit 7b6285c194
1 changed files with 1 additions and 0 deletions

@ -5,6 +5,7 @@ Updates:
* [[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]]
* [[2019-02-03 Implicit connection of nets with same label|2019-02-03]]
# The problem