5525 search results - page 209 / 1105 » Verification of Model Transformations |
132
Voted
FDL
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract-- Analog and Mixed Signal (AMS) designs are important integrated systems that link digital circuits to the analog world. Following the success of PSL verification methodol...
157
click to vote
FDL
2004
IEEE
15 years 7 months ago
2004
IEEE
This paper proposes a formal verification methodology which is smoothly integrated with component-based system-level design, using a divide and conquer approach. The methodology a...
132
Voted
FMCAD
2004
Springer
15 years 7 months ago
2004
Springer
In this paper we demonstrate a potential extension of formal verification methodology in order to deal with time-domain properties of analog and mixed-signal circuits whose dynamic...
151
Voted
BCS
2008
15 years 5 months ago
2008
Dependable systems evolution has been identified by the UK Computing Research Committee (UKCRC) as one of the current grand challenges for computer science. We present work toward...
128
click to vote
FLAIRS
2004
15 years 5 months ago
2004
Intra- and inter-speaker information, which include acoustical, speaker style, speech rate and temporal variation, despite their critical importance for the verification of claims...