Verifying digital systems with MATLAB

Verifying digital systems with MATLAB

Taispeáin leaganacha eile (1)

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...

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Chaves, L, Bessa, I, Cordeiro, L, Kroening, D, Lima Filho, E
Formáid:	Conference item
Foilsithe / Cruthaithe:	Association for Computing Machinery 2017

Míreanna comhchosúla

Verifying Digital Systems with MATLAB
de réir: Chaves, L, et al.
Foilsithe / Cruthaithe: (2017)

DSValidator: an automated counterexample reproducibility tool for digital systems
de réir: Chaves, L, et al.
Foilsithe / Cruthaithe: (2018)

Specifying and Verifying Systems with Multiple Clocks
de réir: Clarke, E, et al.
Foilsithe / Cruthaithe: (2003)

Specifying and verifying systems with multiple clocks
de réir: Clarke, E, et al.
Foilsithe / Cruthaithe: (2003)

JBMC: a bounded model checking tool for verifying Java bytecode
de réir: Cordeiro, L, et al.
Foilsithe / Cruthaithe: (2018)

Verified software: theories, tools and experiments.
de réir: Kroening, D, et al.
Foilsithe / Cruthaithe: (2010)

Verifying multi-threaded software with impact
de réir: Wachter, B, et al.
Foilsithe / Cruthaithe: (2013)

Verifying Multi−threaded Software with Impact
de réir: Wachter, B, et al.
Foilsithe / Cruthaithe: (2013)

DSSynth: An automated digital controller synthesis tool for physical plants
de réir: Abate, A, et al.
Foilsithe / Cruthaithe: (2017)

Verifying C++ with STL Containers via Predicate Abstraction
de réir: Blanc, N, et al.
Foilsithe / Cruthaithe: (2007)

Towards verifiable and safe model-free reinforcement learning
de réir: Hasanbeig, M, et al.
Foilsithe / Cruthaithe: (2020)

Verifying C++ with STL containers via predicate abstraction
de réir: Blanc, N, et al.
Foilsithe / Cruthaithe: (2007)

Formal non-fragile stability verification of digital control systems with uncertainty
de réir: Bessa, I, et al.
Foilsithe / Cruthaithe: (2016)

Word Level Predicate Abstraction and Refinement for Verifying RTL Verilog
de réir: Jain, H, et al.
Foilsithe / Cruthaithe: (2008)

Word Level Predicate Abstraction and Refinement for Verifying RTL Verilog
de réir: Jain, H, et al.
Foilsithe / Cruthaithe: (2005)

Word level predicate abstraction and refinement for verifying RTL verilog
de réir: Jain, H, et al.
Foilsithe / Cruthaithe: (2005)

Word-Level Predicate-Abstraction and Refinement Techniques for Verifying RTL Verilog.
de réir: Jain, H, et al.
Foilsithe / Cruthaithe: (2008)

Word-level predicate-abstraction and refinement rechniques for verifying RTL Verilog
de réir: Jain, H, et al.
Foilsithe / Cruthaithe: (2008)

ESBMC-GPU A context-bounded model checking tool to verify CUDA programs
de réir: Monteiro, F, et al.
Foilsithe / Cruthaithe: (2017)

Automated formal synthesis of provably safe digital controllers for continuous plants
de réir: Abate, A, et al.
Foilsithe / Cruthaithe: (2019)

PRALU language - the tool for verifying digital devices
de réir: D. I. Cheremisinov
Foilsithe / Cruthaithe: (2018-12-01)

Sound and automated synthesis of digital stabilizing controllers for continuous plants
de réir: Abate, A, et al.
Foilsithe / Cruthaithe: (2017)

Verifying the authenticity of digital certificates
de réir: Kamel Ariffin, Muhammad Rezal
Foilsithe / Cruthaithe: (2021)

Digital image processing using MATLAB /
de réir: 229392 Gonzalez, Rafael, et al.
Foilsithe / Cruthaithe: (2011)

Automated formal synthesis of digital controllers for state-space physical plants
de réir: Abate, A, et al.
Foilsithe / Cruthaithe: (2017)

Digital image processing using MATLAB /
de réir: 235411 Gonzales, Rafael C., et al.
Foilsithe / Cruthaithe: (2004)

Digital communication system simulation using matlab /
de réir: 262362 Saifudin Razali
Foilsithe / Cruthaithe: (1999)

Discrete systems and digital signal processing with MATLAB /
de réir: El-Ali, Taan Said, 1963-
Foilsithe / Cruthaithe: (c201)

Matlab implementation of digital rights management system /
de réir: Loh, Samuel Howe Chuen, 1986-, et al.
Foilsithe / Cruthaithe: (2010)

Towards the ’Verified Verifier’. Theory and Practice
de réir: D. A. Kondratyev, et al.
Foilsithe / Cruthaithe: (2014-12-01)

Theoretical foundations of digital imaging using MATLAB /
de réir: Iaroslavskii, L. P. (Leonid Pinkhusovich)
Foilsithe / Cruthaithe: (2013)

Digital speech processing using Matlab /
de réir: Gopi, E. S., author
Foilsithe / Cruthaithe: (2014)

Digital signal processing with examples in MATLAB /
de réir: 399437 Stearns, Samuel D.
Foilsithe / Cruthaithe: (2003)

Fundamental of digital using MATLAB

Fundamentals of digital signal processing using matlab /
de réir: Schilling, Robert J., (Robert Joseph), et al.
Foilsithe / Cruthaithe: (2005)

On a method to authenticate and verify digital streams
de réir: Beata Joanna Wysocki, et al.
Foilsithe / Cruthaithe: (2002-06-01)

Digital signal processing with examples in MATLAB /
de réir: 399437 Stearns, Samuel D., et al.
Foilsithe / Cruthaithe: (c201)

Fundamentals of digital signal processing using MATLAB /
de réir: Schilling, Robert J. (Robert Joseph), 1947-, et al.
Foilsithe / Cruthaithe: (c201)

Signals, systems, transforms, and digital signal processing with MATLAB /
de réir: 395664 Corinthios, Michael
Foilsithe / Cruthaithe: (2009)

Digital signal processing : a primer with MATLAB /
de réir: Abood, Samir I., author.
Foilsithe / Cruthaithe: (2020)