openCoho

Status: Beta

Brought to you by: chaoyan

Downloads: 0 This Week

Last Update: 2016-08-04

Browse Code

Get an email when there's a new version of openCoho

Linux

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

Ship Agents Faster Icon

Ship Agents Faster

Transform your applications and workflows into powerful agentic systems at global scale.

Gemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.

Get Started 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

Intended Audience

Science/Research

Programming Language

C, Java, MATLAB

Registered

2011-01-13

Report inappropriate content

Ship Agents Faster

Transform your applications and workflows into powerful agentic systems at global scale.

Gemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.

Get Started Free

Recommended Projects

circuitmod
The Future of the Java Circuit Simulator
Logic Circuit Designer
Create and simulate logic circuits
Logisim
An educational tool for designing and simulating digital logic circuits, featuring a simple-to-learn interface, hierarchical circuits, wire bundles, and a large component library. As a Java application, it can run on many platforms.
Logisim
An educational tool for designing and simulating digital logic circuits, featuring a simple-to-learn interface, hierarchical circuits, wire bundles, and a large component library. As a Java application, it can run on many platforms. Fork of Logisim with some improvements and new components. This version is compatible with the original version 2.7.* *** IMPORTANT *** It is necessary to add the new components library if loaded files from the early version. Goto Project -> Load Library->Built-in Library...
Digital-Logic-Sim
A minimalistic digital logic simulator