emsec / hal
HAL – The Hardware Analyzer
☆660Updated last week
Alternatives and similar repositories for hal:
Users that are interested in hal are comparing it to the libraries listed below
- A refreshed Python toolbox for building complex digital hardware. See https://gitlab.com/nmigen/nmigen☆670Updated 3 years ago
- Documenting the Xilinx 7-series bit-stream format.☆796Updated last week
- A modern and open-source cross-platform software for chips reverse engineering.☆259Updated 5 months ago
- A modern hardware definition language and toolchain based on Python☆1,679Updated 2 weeks ago
- A Python toolbox for building complex digital hardware☆1,269Updated 2 months ago
- Small footprint and configurable PCIe core☆538Updated this week
- A C-like hardware description language (HDL) adding high level synthesis(HLS)-like automatic pipelining as a language construct/compiler …☆647Updated this week
- VHDL compiler and simulator☆684Updated this week
- ChipWhisperer - the complete open-source toolchain for side-channel power analysis and glitching attacks☆1,198Updated this week
- Small footprint and configurable DRAM core☆406Updated 3 months ago
- Multi-platform nightly builds of open source FPGA tools☆295Updated 3 years ago
- A self-contained online book containing a library of FPGA design modules and related coding/design guides.☆426Updated 7 months ago
- Hardware Description Languages☆1,016Updated 2 months ago
- Package manager and build abstraction tool for FPGA/ASIC development☆1,271Updated last week
- A huge VHDL library for FPGA development☆382Updated this week
- Project IceStorm - Lattice iCE40 FPGAs Bitstream Documentation (Reverse Engineered)☆1,051Updated 3 weeks ago
- Universal utility for programming FPGA☆1,309Updated this week
- nextpnr portable FPGA place and route tool☆1,421Updated this week
- VHDL synthesis (based on ghdl)☆334Updated last week
- Portable RISC-V System-on-Chip implementation: RTL, debugger and simulators☆649Updated 5 months ago
- GTKWave is a fully featured GTK+ based wave viewer for Unix and Win32 which reads LXT, LXT2, VZT, FST, and GHW files as well as standard …☆758Updated this week
- The original high performance and small footprint system-on-chip based on Migen™☆324Updated last month
- Modular hardware build system☆979Updated this week
- SystemVerilog 2017 Pre-processor, Parser, Elaborator, UHDM Compiler. Provides IEEE Design/TB C/C++ VPI and Python AST & UHDM APIs. Compil…☆388Updated last week
- Documenting the Lattice ECP5 bit-stream format.☆411Updated 2 weeks ago
- VUnit is a unit testing framework for VHDL/SystemVerilog☆768Updated 3 weeks ago
- Verible is a suite of SystemVerilog developer tools, including a parser, style-linter, formatter and language server☆1,524Updated this week
- Build your hardware, easily!☆3,274Updated 2 weeks ago
- SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows☆444Updated last week
- A Linux-capable RISC-V multicore for and by the world☆682Updated last month