openCoho

Status: Beta

Brought to you by: chaoyan

Downloads: 1 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

Gen AI apps are built with MongoDB Atlas Icon

Gen AI apps are built with MongoDB Atlas

The database for AI-powered applications.

MongoDB Atlas is the developer-friendly database used to build, scale, and run gen AI and LLM-powered apps—without needing a separate vector database. Atlas offers built-in vector search, global availability across 115+ regions, and flexible document modeling. Start building AI apps faster, all in one place.

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

Intended Audience

Science/Research

Programming Language

C, Java, MATLAB

Registered

2011-01-13

Report inappropriate content

Recommended Projects

Schematic 3D
Schematic3d depicts analog circuits in three dimensional space. Third dimension for circuit element is added based on the voltage. It generates animation for transient simulation. (Values of voltages are taken from PSPICE software).
LazySets.jl
LazySets.jl is a Julia package for calculus with convex sets. The aim is to provide a scalable library for solving complex set-based problems, such as those encountered in differential inclusions or reachability analysis techniques in the domain of formal verification. Typically, one is...
XSCHEM
Xschem is a schematic capture program, it allows to create a hierarchical representation of circuits with a top down approach . By focusing on interconnections, hierarchy and properties a complex system (IC) can be described in terms of simpler building blocks. A VHDL, Verilog or Spice netlist...
ADS Software
The ADS It s a process of analysis, permits to extract or to verify the properties of a system analog or digital system.
Analog Insydes Add-Ons
Analog Insydes is a Mathematica toolbox for symbolic analysis of analog electronic circuits. This project provides a set of free add-ons to Analog Insydes, including a Java front-end and a native netlister for Cadence's Analog Design Environment (ADE).