Cited By
View all- Ahmadyan SKumar JVasudevan SMacii E(2013)Runtime verification of nonlinear analog circuits using incremental time-augmented RRT algorithmProceedings of the Conference on Design, Automation and Test in Europe10.5555/2485288.2485296(21-26)Online publication date: 18-Mar-2013
- Pierre L(2012)A formal framework for testing with assertion checkers in mixed-signal simulation2012 19th IEEE International Conference on Electronics, Circuits, and Systems (ICECS 2012)10.1109/ICECS.2012.6463745(284-287)Online publication date: Dec-2012
- Greenstreet MYang SNarayanan VYan ZMacii EBhanja S(2008)Verifying start-up conditions for a ring oscillatorProceedings of the 18th ACM Great Lakes symposium on VLSI10.1145/1366110.1366160(201-206)Online publication date: 4-May-2008
- Show More Cited By