Trabalho em anais de eventoOpen Access
Verifying digital systems with MATLAB
CHAVES, LENNON; BESSA, IURY; Cordeiro, Lucas; KROENING, DANIEL; LIMA, EDDIE
Resumo
Resumo
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 (DSVerifier), 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 functionality and a graphical-user interface, which was developed as a MATLAB application. The resulting toolbox enables application of verification to real-world systems by control engineers.
Autoria
Autores do grupo (2)
A lista completa de autores está no topo da página. Abaixo, apenas os pesquisadores do e-Controls vinculados a esta publicação.
palavras-chave
Palavras-chave
digital system verificationfixed-point arithmeticfinite word length effectsoverflowlimit cyclesquantization errorstabilityMATLAB toolboxtransfer functionstate-space model
Status
Published
links
Links e arquivos
Trabalho em anais de evento