On simulation-based probabilistic model checking of mixed-analog circuits (Q5962116)
From MaRDI portal
scientific article; zbMATH DE number 5786502
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On simulation-based probabilistic model checking of mixed-analog circuits |
scientific article; zbMATH DE number 5786502 |
Statements
On simulation-based probabilistic model checking of mixed-analog circuits (English)
0 references
16 September 2010
0 references
probabilistic model-checking
0 references
simulation-based techniques
0 references
mixed-signals circuits verification
0 references
delta-sigma modulators
0 references
