Sciweavers

FMSD
2010
118views more  FMSD 2010»
13 years 5 months ago
On simulation-based probabilistic model checking of mixed-analog circuits
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...
Edmund M. Clarke, Alexandre Donzé, Axel Leg...
ASPDAC
2000
ACM
78views Hardware» more  ASPDAC 2000»
13 years 11 months ago
A sigma-delta modulation based BIST scheme for mixed-signal circuits
In this work, we present the analysis of a built-in self-test (BIST) scheme for mixed-signal circuits that is intended to provide on-chip stimulus generation and response analysis...
Jiun-Lang Huang, Kwang-Ting Cheng