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

Paessler: Easy to Use With Enterprise Power. Free Trial

A low-code dashboard makes monitoring intuitive for any admin, while scripting and custom sensors give experts full control.

You shouldn't have to choose between a monitoring tool that's easy to use and one that's powerful enough for a complex environment. PRTG's low-code interface lets any admin build dashboards, set alerts and monitor devices without scripting, while custom sensors and full API access are there when your team needs deeper control. One platform, no compromise. Download a free 30-day trial now.

Get Free Download

Rate This Project