Verifying global start-up for a Möbius ring-oscillator

DOI10.1007/s10703-013-0204-6zbMath1309.94195OpenAlexW2050180686MaRDI QIDQ479839

Chao Yan, Mark R. Greenstreet, Suwen Yang

Publication date: 5 December 2014

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10703-013-0204-6

zbMATH Keywords

oscillatormetastabilityformal verificationanalog verification

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Analytic circuit theory (94C05)

Uses Software

• Matlab
• HySAT
• INTLAB
• PHAVer
• HyTech
• z3
• HSPICE

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Eigenvalues, pseudospectrum and structured perturbations
• HySAT: An efficient proof engine for bounded model checking of hybrid systems
• A User's Guide to Measure Theoretic Probability
• Algorithmic analysis of nonlinear hybrid systems
• Hybrid Systems: Computation and Control

This page was built for publication: Verifying global start-up for a Möbius ring-oscillator