Verifying analog oscillator circuits using forward/backward abstraction refinement

  title={Verifying analog oscillator circuits using forward/backward abstraction refinement},
  author={Goran Frehse and Bruce H. Krogh and Rob A. Rutenbar},
  journal={Proceedings of the Design Automation & Test in Europe Conference},
  pages={6 pp.-}
Properties of analog circuits can be verified formally by partitioning the continuous state space and applying hybrid system verification techniques to the resulting abstraction. To verify properties of oscillator circuits, cyclic invariants need to be computed. Methods based on forward reachability have proven to be inefficient and in some cases inadequate in constructing these invariant sets. In this paper, we propose a novel approach combining forward- and backward-reachability while… CONTINUE READING
Highly Cited
This paper has 101 citations. REVIEW CITATIONS
67 Citations
12 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 67 extracted citations

101 Citations

Citations per Year
Semantic Scholar estimates that this publication has 101 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…