Browse Code
Coho is a reachability analysis platform for high-dimensional, nonlinear hybrid systems, especially for analog circuit verification.This tools has been applied to verify many circuits, including toggle, arbiter, flipflop, celement, oscillator, etc.
Features
- Use projectagons to represent high-diemensional, non-convex regions
- Solve nonlinear ODEs by approximating as linear differential inclusions
- Model AMS circuits as hybrid automaton
- Specify analog properties based on Brockett annulus
- Applied to practical circuits and real properties
License
BSD LicenseFollow openCoho
Other Useful Business Software
AI-powered service management for IT and enterprise teams
Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of openCoho!