FAC'14 Benchmark Suite for Formal Verification of Analog Circuits
OpenData
This benchmark suite presented at the FAC'14 conference is a collection of analog circuits with testbenches and device models, that are interesting for formal circuit verification.