DSVerifier Toolbox

DSVerifier Toolbox works as a front-end for the Digital-System Verifier (DSVerifier) using the MATLAB environment. The toolbox checks overflow, limit cycle, quantization error, stability, and minimum phase in digital systems represented by transfer-function, and controllability, observability, stability and quantization-error for state-space format.

Useful links:
Download the lastest version of DSVerifier Toolbox at download page .
Video demonstration about DSVerifier Toolbox Installation at: [Install Demonstration]
Video demonstration about DSVerifier Toolbox Usage at: [Usage Demonstration]
See details about the functions available at DSVerifier Toolbox in documentation page.

Prerequisites:

In order to execute DSVerifier in MATLAB, the user must install the DSVerifier Toolbox in MATLAB 2016b Linux version.

Required tools to run the scripts: Linux/MATLAB;
MATLAB version: at least version 2016b;

Installation:

In order to install DSVerifier Toolbox , the user must download the DSVerifier Toolbox installation file from the DSVerifier web page.
After that, the following steps must be executed:

1. Open MATLAB;
2. Execute the file with the “$.mltbx$” extension (or double-click on it); a pop-up screen to install DSVerifier Toolbox will be shown.
3. Click on the install button.

Toolbox Features

Supported properties:

For Digital-Systems in Transfer-Function Representation (Open-Loop Systems) :
a) Overflow
b) Limit Cycle
c) Stability
d) Minimum Phase
e) Quantization Error

For Digital-Systems in Transfer-Function Representation (Closed-Loop Systems) :
a) Stability
b) Quantization Error
c) Limit-cycle

For Digital-Systems in State-Space Representation (Open-Loop Systems) :
a) Controllability
b) Observability
c) Stability
d) Quantization Error

For Digital-Systems in State-Space Representation (Closed-Loop Systems) :
a) Controllability
b) Observability
c) Stability
d) Quantization Error

See details how use the functions available in DSVerifier Toolbox at documentation page.

Toolbox Application

In order to run the DSVerifier toolbox in MATLAB, the user must invoke the following command in the workspace:

>> DSVerifier

Then the toolbox is launched.

GUI Application for Transfer-Function Verification in Open-Loop Format:

GUI Application for Transfer-Function Verification in Closed-Loop Format:

GUI Application for State-Space Verification:

Toolbox Usage

Steps to use the toolbox:

1) Download and Install MATLAB 2016b;
2) Download and Install the DSVerifier Toolbox;
3) Design a digital-system into MATLAB as transfer-function or state-space format;
4) Start the verification process according to the property to be checked. (See details of how to use the functions available in the DSVerifier Toolbox at documentation page).

Verifying a Digital-System in Transfer-Function Format for a Open-Loop System:

Verifying a Digital-System in Transfer-Function Format for a Closed-Loop System:

Verifying a Digital-System in State-Space Format for a Open-Loop System:

Verifying a Digital-System in State-Space Format for a Closed-Loop System: