On simulation-based probabilistic model checking of mixed-analog circuits

Abstract In this paper, we consider verifying properties of mixed-signal circuits, i.e., circuits for which there is an interaction between analog (continuous) and digital (discrete) values. We use a simulation-based approach that consists of evaluating the property on a representative subset of beh...
Ausführliche Beschreibung

Gespeichert in:
Autor*in:

Clarke, Edmund [verfasserIn]

Donzé, Alexandre [verfasserIn]

Legay, Axel [verfasserIn]

Format:

E-Artikel

Sprache:

Englisch

Erschienen:

2009

Schlagwörter:

Probabilistic model-checking

Simulation-based techniques

Mixed-signals circuits verification

Delta-sigma modulators

Übergeordnetes Werk:

Enthalten in: Formal methods in system design - Dordrecht [u.a.] : Springer Science + Business Media B.V, 1992, 36(2009), 2 vom: 08. Juli, Seite 97-113

Übergeordnetes Werk:

volume:36 ; year:2009 ; number:2 ; day:08 ; month:07 ; pages:97-113

Links:

Volltext

DOI / URN:

10.1007/s10703-009-0076-y

Katalog-ID:

SPR012550787

Nicht das Richtige dabei?

Schreiben Sie uns!