https://1library.net/document/qmrx477y-automated-modelling-formal-verification-analog-designs.html