![](/img/cover-not-exists.png)
Semi-formal verification of the steady state behavior of mixed-signal circuits by SAT-based property checking
Jens Schönherr, Martin Freibothe, Bernd Straube, Jörg BormannVolume:
404
Year:
2008
Language:
english
Pages:
15
DOI:
10.1016/j.tcs.2008.03.032
File:
PDF, 864 KB
english, 2008