gonced8 / mcdcLinks
Tool for automatic MC/DC in C and in Python.
☆20Updated 5 years ago
Alternatives and similar repositories for mcdc
Users that are interested in mcdc are comparing it to the libraries listed below
Sorting:
- Avionics Software for the University of Calgary’s Student Organization for Aerospace Research☆12Updated 4 months ago
- STM32F4 build communication protocols such as SPI, I2C, UART, etc. from scratch in C++11☆9Updated 4 years ago
- Tiva C: UART, I2C, SPI, SSI☆13Updated 5 years ago
- This repository contains various patches to the OSCI systemc distribution to make it possible to compile the sources with latest GCC vers…☆23Updated 14 years ago
- BeagleBone Black UART comunication driver with Interrupts in Assembly & C demo, GNU/baremetal☆8Updated 7 years ago
- Minimal startup code + Makefile for building bare-metal C programs for Cortex-M4☆11Updated 9 years ago
- C++ Hardware Abstraction Library for STM32 and other ARM microcontrollers☆12Updated 3 years ago
- Source of the "Practical Guide to Bare Metal C++" free e-book☆98Updated 4 years ago
- Embedded CMake Examples☆26Updated 5 years ago
- A simple C++ CMake project to jump-start development of SystemC models and systems☆26Updated 8 months ago
- ☆25Updated 9 months ago
- RISC-V Scratchpad☆68Updated 2 years ago
- 🐛 JTAG debug transport module (DTM) - compatible to the RISC-V debug specification.☆26Updated 2 years ago
- SpaceVNX (VITA 74.4) carrier based on Zynq-7000.☆13Updated 2 years ago
- This Repo contains SystemC for testBench for AMBA® 3 AHB-Lite Protocol☆13Updated 7 years ago
- OSEK (ECC1/BCC1) Implementation for Cortex™-M3☆34Updated 2 years ago
- VHDL Implementation of AES Algorithm☆82Updated 4 years ago
- GCC/gcov code coverage data extraction from the actual embedded system, without requiring a file system, or an operating system, or stand…☆197Updated last year
- PolarFire SoC Documentation☆56Updated last week
- Yocto Project layer enables AMD Xilinx tools related metadata for MicroBlaze, Zynq, ZynqMP and Versal devices.☆65Updated last week
- QSapecNG☆14Updated 4 years ago
- Explore the behavior SystemC kernel event-driven simulator (aka "the engine")☆11Updated last year
- This repository contains sample code integrating Renode with Verilator☆20Updated 2 months ago
- FreeRTOS port for the RISC-V Virtual Prototype☆14Updated 4 years ago
- PW-Sat2 hardware designed by the PW-Sat2 team☆10Updated 6 years ago
- This repository contains Embedded Linux kernel source code for Xilinx devices.☆23Updated 10 months ago
- Official Intel SOCFPGA U-Boot repository. Note: (1) A "RC" labeled branch is for internal active development use and customer early acces…☆108Updated this week
- A set of benchmarks chosen to show the energy consumption of embedded devices under different conditions☆68Updated 2 years ago
- A simple guide to get started on renode.☆15Updated 4 years ago
- This is a mirror repository for official CTU CAN FD repository:☆29Updated last week