A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
FASiM: A Framework for Automatic Formal Analysis of Simulink Models of Linear Analog Circuits
[article]
2020
arXiv
pre-print
Simulink is a graphical environment that is widely adapted for the modeling and the Laplace transform based analysis of linear analog circuits used in signal processing architectures. However, due to the involvement of the numerical algorithms of MATLAB in the analysis process, the analysis results cannot be termed as complete and accurate. Higher-order-logic theorem proving is a formal verification method that has been recently proposed to overcome these limitations for the modeling and the
arXiv:2001.06702v1
fatcat:pvhvnadd2bggzg57cs47j3cn34