Verifying Digital Systems with MATLAB
Abstract
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.
Cite
@article{arxiv.1702.05591,
title = {Verifying Digital Systems with MATLAB},
author = {Lennon Chaves and Iury Bessa and Lucas Cordeiro and Daniel Kroening and Eddie Filho},
journal= {arXiv preprint arXiv:1702.05591},
year = {2017}
}
Comments
4 pages