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
The AI workplace management platform
By combining AI workflows, predictive intelligence, and automated insights, OfficeSpace gives leaders a complete view of how their spaces are used and how people work. Facilities, IT, HR, and Real Estate teams use OfficeSpace to optimize space utilization, enhance employee experience, and reduce portfolio costs with precision.
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of openCoho!
