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...
Váldodahkkit: | Chaves, L, Bessa, I, Cordeiro, L, Kroening, D, Lima Filho, E |
---|---|
Materiálatiipa: | Conference item |
Almmustuhtton: |
Association for Computing Machinery
2017
|
Geahča maid
-
Verifying Digital Systems with MATLAB
Dahkki: Chaves, L, et al.
Almmustuhtton: (2017) -
DSValidator: an automated counterexample reproducibility tool for digital systems
Dahkki: Chaves, L, et al.
Almmustuhtton: (2018) -
Specifying and Verifying Systems with Multiple Clocks
Dahkki: Clarke, E, et al.
Almmustuhtton: (2003) -
Specifying and verifying systems with multiple clocks
Dahkki: Clarke, E, et al.
Almmustuhtton: (2003) -
Verified software: theories, tools and experiments.
Dahkki: Kroening, D, et al.
Almmustuhtton: (2010)