Towards formal verification of analog designs

This publication has 22 references indexed in Scilit:

• Computational techniques for hybrid system verification
  IEEE Transactions on Automatic Control, 2003
• The d/dt Tool for Verification of Hybrid Systems
  Published by Springer Nature ,2002
• Series of Abstractions for Hybrid Automata
  Published by Springer Nature ,2002
• Design of mixed-signal systems-on-a-chip
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2000
• Verification of Polyhedral-Invariant Hybrid Automata Using Polygonal Flow Pipe Approximations
  Published by Springer Nature ,1999
• An overview of sigma-delta converters
  IEEE Signal Processing Magazine, 1996
• The algorithmic analysis of hybrid systems
  Theoretical Computer Science, 1995
• Stability analysis of high-order delta-sigma modulation for ADC's
  IEEE Transactions on Circuits and Systems II: Analog and Digital Signal Processing, 1994
• A higher order topology for interpolative modulators for oversampling A/D converters
  IEEE Transactions on Circuits and Systems, 1990
• The design of sigma-delta modulation analog-to-digital converters
  IEEE Journal of Solid-State Circuits, 1988