* Model-checking/simulation-checking library for real-time system with dense-time models in C with CRD (Clock-Restriction Diagrams) technology. * Parametric analysis library for linear-hybrid systems in C with HRD (Hybrid-Restriction Diagram) technol
Quinessence is conceived as a package to perform optimal two-level realization of a boolean function using the classical Quine-McCluskey algorithm.
A toolkit to generate the SPICE file of equivalent circuit for piezoelectronic transducer.
OW Baby is OneWire Slave implementation for PIC16F628 and similar Micro-controllers. With it, you can rule your ultra cheap MCU with using One Wire protocol. ASM language and IRQ used. Code works on 4Mhz internal clock.