3 Hits in 2.9 sec


Karthik V. Aadithya, Jaijeet Roychowdhury
2012 Proceedings of the 49th Annual Design Automation Conference on - DAC '12  
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


Aadithya V. Karthik, Jaijeet Roychowdhury
2013 Proceedings of the 50th Annual Design Automation Conference on - DAC '13  
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

Algorithmic nonlinear macromodeling: Challenges, solutions and applications in Analog/Mixed-Signal validation

Chenjie Gu
2013 Proceedings of the IEEE 2013 Custom Integrated Circuits Conference  
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