Verifying digital systems with MATLABReportar como inadecuado

Verifying digital systems with MATLAB - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

Reference: Chaves, L, Bessa, I, Cordeiro, L et al., (2017). Verifying digital systems with MATLAB. ISSTA 2017 Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, 388-391.Citable link to this page:


Verifying digital systems with MATLAB

Abstract: A MATLAB toolbox is presented, with the goal of checking occurrencesof design errors typically found in fixed-point digitalsystems, considering finite word-length effects. In particular, thepresent toolbox works as a front-end to a recently introduced verificationtool, known as Digital-System Verifier (DSVerifier), andchecks overflow, limit cycle, quantization, stability, and minimumphase errors in digital systems represented by transfer-functionand state-space equations. It provides a command-line version withsimplified access to specific functionality and a graphical-user interface,which was developed as a MATLAB application. The resultingtoolbox enables application of verification to real-world systemsby control engineers.

Publication status:PublishedPeer Review status:Peer reviewedVersion:Accepted ManuscriptDate of acceptance:25 May 2017Notes:Copyright © 2017 Association for Computing Machinery.This is the accepted manuscript version of the article. The final version is available online from ACM at:

Bibliographic Details

Publisher: Association for Computing Machinery

Publisher Website:

Host: ISSTA 2017 Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysissee more from them

Publication Website:

Extent: 388-391

Issue Date: 2017-07-10



Uuid: uuid:de3d3e52-bcfe-43ea-8bd9-3b65c1b60c4c

Urn: uri:de3d3e52-bcfe-43ea-8bd9-3b65c1b60c4c

Pubs-id: pubs:697889

Isbn: 978-1-4503-5076-1 Item Description

Type: conference-proceeding;

Version: Accepted ManuscriptKeywords: embedded digital systems MATLAB Toolbox software model checking formal verification


Autor: Chaves, L - - - Bessa, I - - - Cordeiro, L - Oxford, MPLS, Computer Science - - - Kroening, D - Oxford, MPLS, Computer Science -



Documentos relacionados