Corpus ID: 210839132

FASiM: A Framework for Automatic Formal Analysis of Simulink Models of Linear Analog Circuits

@article{Rashid2020FASiMAF,
  title={FASiM: A Framework for Automatic Formal Analysis of Simulink Models of Linear Analog Circuits},
  author={Adnan Rashid and Ayesha Gauhar and Osman Hasan},
  journal={ArXiv},
  year={2020},
  volume={abs/2001.06702}
}
  • Adnan Rashid, Ayesha Gauhar, Osman Hasan
  • Published in ArXiv 2020
  • Computer Science, Mathematics
  • 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… CONTINUE READING

    Create an AI-powered research feed to stay up to date with new papers like this posted to ArXiv