用MATLAB验证数字系统
Verifying Digital Systems with MATLAB
AI总结：
本文提出一个MATLAB工具箱，用于检查固定点数字系统中常见的设计错误，如溢出、限环、量化、稳定性和最小相位误差，适用于转移函数和状态空间方程表示的数字系统。
摘要：
本文介绍了一个MATLAB工具箱，旨在检查固定点数字系统中常见的设计错误，考虑有限字长效应。该工具箱作为 recently introduced verification tool Digital-System Verifier 的前端，检查溢出、限环、量化、稳定性和最小相位误差。它提供命令行版本和图形用户界面，后者作为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 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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
