OStatic

A IC/MEMS layout editor. Features: all angle, font generator, macros, boolean operations, design rule checker, crossplatform compatible, supported for...

PEP is a modelling and verification framework for parallel systems, providing a large number of different modelling languages and verification techniq...

I2CProg is I2C EEPROM Programmer. It works with HW PC to I2C bridge adapters.I2CProg supports stand-alone and in-circuit serial memory chip burning fo...

PanelCheck is a tool for visualization of sensory profiling data using different types of plots. To run source code you will need to install: Python 2...

Collection of libraries to help automation application developement. ntddata provides a common data management layer (require glib-2.10). ntdwidgets i...

Our aim is to develop a library for geometrical tolerance analysis, that is OS and CAD platform indenpendent. Toleraning is widely used in engineering...

The Kreate project aims to develop an extensible CAD and design management environment that provides the tools engineers need to bring their electroni...

Currently, all existing formal tools are designed to serve as formal verifiers, using one implementation or another. NO tool is providing a global fra...