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
$300 Free Credits to Build on Google Cloud Icon
$300 Free Credits to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
Start Free
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of openCoho!

Additional Project Details

Operating Systems

Linux

Intended Audience

Science/Research

Programming Language

C, Java, MATLAB

Registered

2011-01-13
Report inappropriate content