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
Full-stack observability with actually useful AI | Grafana Cloud Icon
Full-stack observability with actually useful AI | Grafana Cloud

Our generous forever free tier includes the full platform, including the AI Assistant, for 3 users with 10k metrics, 50GB logs, and 50GB traces.

Built on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
Create free account
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