599 Open source projects that are alternatives of or similar to RiscvSpecFormal

Formal specification and verification of hardware, especially for security and privacy.

A scientific publication, describing a way to improve microscopy. This repository hosts everything you need to reproduce our results. Read the publication here: https://andrewgyork.github.io/remote_refocus/

Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on

A framework for implementing and certifying impure computations in Coq

ARV: Asynchronous RISC-V Go High-level Functional Model

Dynamically Allocated Neural Network Accelerator for the RISC-V Rocket Microprocessor in Chisel

Cheap and DIY make in 1 hour, 2 tracks, 14 patterns, Roland TB-303 step sequencer clone +plus features aimed for musicians and djs to use it on live performance or for the studio create process

A small and customizable full-scale 32-bit RISC-V soft-core CPU and SoC written in platform-independent VHDL.

A flexible framework for analyzing and transforming FPGA netlists. Official repository.

Simple control and status paired with a physical button panel and OLED display

Golang framework for robotics, drones, and the Internet of Things (IoT)

Visual implementation of OSHI, to view information about the system and hardware.

Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]

Software from the NorthSec badge

Yet Another RISC-V Implementation

📡 Using Software Designed Radio to transmit MIMO-OFDM QPSK signals at 5 GHz

Legacy code connected to the high-assurance implementation of the Ouroboros protocol family

📚 💻 Great Resources for Electronics Enthusiasts

Hardware password manager

Home-brew Intel 4004 Single Board Computer

The formal proof of the Odd Order Theorem

GSmartControl - Hard disk drive and SSD health inspection tool

Graphic programming software for hardware like: arduino, microbit, esp32, esp8266...

PCB designs for the Waterloo Aerial Robotics Group

openEMSstim: open-hardware module to adjust the intensity of EMS/TENS stimulators.

kinT keyboard controller (Kinesis controller replacement)

A JavaScript-driven M5Stack-embedded super-kawaii robot.

serial com api

Hardware Library for the Daisy Audio Platform

Partial Commutative Monoids

Mutation analysis tool for Coq verification projects

A RISC-V simulator

Reads a state transition system and performs property checking

5-Stage Pipelined RV64IM RISC-V CPU design in Verilog.

a 2.4 GHz SDR neighbor using 1 bit ADC

纯Golang实现的dmidecode, 零依赖, 支持Linux, Unix, Windows

pulp_soc is the core building component of PULP based SoCs

A formally verified high-level synthesis tool based on CompCert and written in Coq.

Transient Array Radio Telescope

Enclosures for the Smart Citizen

Trying to verify Verilog/VHDL designs with formal methods and tools

A general yet easy-to-use formalization of Big O, Big Theta, and more based on seminormed vector spaces.

FIPS and higher-level algorithm tests for RISC-V Crypto Extension

Detect and report browser and hardware features.

General Purpose 8 Qubit Optical Quantum Computer

The Kria Robotics Stack (KRS) is a ROS 2 superset for industry, an integrated set of robot libraries and utilities to accelerate the development, maintenance and commercialization of industrial-grade robotic solutions while using adaptive computing.

Hardware repository for FreeSK8 Robogotchi

STONNE: A Simulation Tool for Neural Networks Engines

The Simple 5-staged pipeline RISC-V written in chisel3 for intel FPGA.

Contains files created with Design Spark PCB Capture Software

Design files and firmware files for the RedBot robotics board.

A Powerful embedded RTOS for ARM Cortex M microcontrollers

Small golang library for querying PCI database (pciids) information

Classifies GPUs based on their 3D rendering benchmark score allowing the developer to provide sensible default settings for graphically intensive applications.

Djinn Split Keyboard

www.imandra.ai

This tool translates synthesizable SystemC code to synthesizable SystemVerilog.

WAL enables programmable waveform analysis.

Simple risc-v emulator, able to run linux, written in C.

Gallina to Bedrock2 compilation toolkit