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
Gen AI apps are built with MongoDB Atlas
MongoDB Atlas is the developer-friendly database used to build, scale, and run gen AI and LLM-powered apps—without needing a separate vector database. Atlas offers built-in vector search, global availability across 115+ regions, and flexible document modeling. Start building AI apps faster, all in one place.
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of openCoho!