36 search results - page 8 / 8 » fmsd 2006 |
FMSD
2010
13 years 3 months ago
2010
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...