Skip to content. Skip to navigation

Modeling of Complex Physical Systems

Sections
Personal tools
You are here: Home Modelica Libraries Verif

Verif

Document Actions
Category: Free Libraries — Other products by this author
Verif
A free library for verifying the ModelicaSpice library (part of BondLib).

Latest release: Verif 2.2 (released on 2007/08/28)

Lots of electronic circuits modeled in ModelicaSpice and in PSpice.
Read more

Download Verif for all Modelica tools (3.8 MB)
Source code

Show all releases…

Project Description

Additional resources

The Verif library had originally been developed by Christoph Clauß and his co-workers at the Fraunhofer Institute of Electronic Circuits in Dresden, Germany. It was created for testing/verifying the correctness of ModelicaSpice, one of the sub-libraries of BondLib.

The Verif 2.2 library contains several dozens of electronic circuits that may be used for various purposes:

  1. to verify the correctness of future releases of BondLib;
  2. to validate implementations of BondLib for platforms other than Dymola; and
  3. to validate other implementations of electronic circuit modeling libraries.

The version number of the Verif library matches that of the BondLib library, i.e., Verif 2.2 has been used together with BondLib 2.2.

Since BondLib 2.3 does not offer any changes to its electrical library, no new version of the Verif library has been created to match it.

by Michael Tiller last modified 2007-09-30 12:49 AM

Powered by Plone CMS, the Open Source Content Management System