Verifying Digital Systems with MATLAB
A MATLAB toolbox is presented, with the goal of checking occurrences of design errors typically found in fixed-point digital systems, considering finite word-length effects. In particular, the present toolbox works as a front-end to a recently introduced verification tool, known as Digital-System Ve...
| Main Authors: | , , , , |
|---|---|
| Format: | Conference item |
| Published: |
Association for Computing Machinery
2017
|
| _version_ | 1797071502622851072 |
|---|---|
| author | Chaves, L Bessa, I Cordeiro, L Kroening, D Filho, E |
| author_facet | Chaves, L Bessa, I Cordeiro, L Kroening, D Filho, E |
| author_sort | Chaves, L |
| collection | OXFORD |
| description | A MATLAB toolbox is presented, with the goal of checking occurrences of design errors typically found in fixed-point digital systems, considering finite word-length effects. In particular, the present toolbox works as a front-end to a recently introduced verification tool, known as Digital-System Verifier, and checks overflow, limit cycle, quantization, stability, and minimum phase errors, in digital systems represented by transfer-function and state-space equations. It provides a command-line version, with simplified access to specific functions, and a graphical-user interface, which was developed as a MATLAB application. The resulting toolbox is important for the verification community, since it shows the applicability of verification to real-world systems. |
| first_indexed | 2024-03-06T22:54:12Z |
| format | Conference item |
| id | oxford-uuid:5fd23092-0235-4c87-a493-ecc3e7b4144d |
| institution | University of Oxford |
| last_indexed | 2024-03-06T22:54:12Z |
| publishDate | 2017 |
| publisher | Association for Computing Machinery |
| record_format | dspace |
| spelling | oxford-uuid:5fd23092-0235-4c87-a493-ecc3e7b4144d2022-03-26T17:49:26ZVerifying Digital Systems with MATLABConference itemhttp://purl.org/coar/resource_type/c_5794uuid:5fd23092-0235-4c87-a493-ecc3e7b4144dSymplectic Elements at OxfordAssociation for Computing Machinery2017Chaves, LBessa, ICordeiro, LKroening, DFilho, EA MATLAB toolbox is presented, with the goal of checking occurrences of design errors typically found in fixed-point digital systems, considering finite word-length effects. In particular, the present toolbox works as a front-end to a recently introduced verification tool, known as Digital-System Verifier, and checks overflow, limit cycle, quantization, stability, and minimum phase errors, in digital systems represented by transfer-function and state-space equations. It provides a command-line version, with simplified access to specific functions, and a graphical-user interface, which was developed as a MATLAB application. The resulting toolbox is important for the verification community, since it shows the applicability of verification to real-world systems. |
| spellingShingle | Chaves, L Bessa, I Cordeiro, L Kroening, D Filho, E Verifying Digital Systems with MATLAB |
| title | Verifying Digital Systems with MATLAB |
| title_full | Verifying Digital Systems with MATLAB |
| title_fullStr | Verifying Digital Systems with MATLAB |
| title_full_unstemmed | Verifying Digital Systems with MATLAB |
| title_short | Verifying Digital Systems with MATLAB |
| title_sort | verifying digital systems with matlab |
| work_keys_str_mv | AT chavesl verifyingdigitalsystemswithmatlab AT bessai verifyingdigitalsystemswithmatlab AT cordeirol verifyingdigitalsystemswithmatlab AT kroeningd verifyingdigitalsystemswithmatlab AT filhoe verifyingdigitalsystemswithmatlab |