openCoho

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

Project Activity

See All Activity >

License

BSD License

Follow openCoho

openCoho Web Site

Other Useful Business Software

Build Data Resilience - Take the Assessment Today

Can you recover when it matters most? Take this quick assessment to identify gaps and build greater recovery confidence.

Is your recovery strategy as strong as you think? Take this quick self-assessment to check your recovery readiness and gain tailored insights. In only 2 minutes, you'll learn where you fall on the recovery readiness scale.

Take the Assessment

Rate This Project