A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
We abstract the I/O functionality of continuous-time dynamical systems (e.g., SPICE netlists with combinational and sequential logic) as Finite State Machines (FSMs). ... For such circuits, the automatically learned FSM abstraction includes additional states that characterise "failure modes" of the circuit for specific input sequences (these failure modes are also confirmed ... SUMMARY, CONCLUSIONS AND FUTURE WORK In this paper, we have demonstrated DAE2FSM, a technique for automatically learning multi-symbol discrete-domain FSM abstractions of continuousdomain dynamical systems ...doi:10.1145/2228360.2228418 dblp:conf/dac/AadithyaR12 fatcat:6yl3x4uwxbddlev3eng2sdumka
We present ABCD-L, a scalable technique for Analog/Mixed Signal (AMS) modelling/verification that captures the continuous dynamics of Linear Time-Invariant (LTI) systems, using purely Boolean approximations ... the penalty of adding continuous variables. ... Fig. 11 . 11 ABCD-L accurately reproduces the time-domain continuous dynamics of the equalizer. ...doi:10.1145/2463209.2488811 dblp:conf/dac/KarthikR13 fatcat:7y26zez42vhbtktbxbnpajhuxu
While hand-crafted behavioral models and linear models are still most widely used among designers, there is an increasing need for automatic behavioral modeling tools which capture low-level nonlinear ... behaviors in the circuit. ... By constraining the dynamics of the circuit on these trajectories, and by discretizing the continuous states, we are able to create an FSM abstraction of the circuit. ...doi:10.1109/cicc.2013.6658459 dblp:conf/cicc/Gu13 fatcat:h6yu24wmivfmtkkz5zoygn2xma