sci-electronics/bender::guru
- Ebuilds: 1, Testing: 0.32.1 Description:
Bender is a dependency management tool for hardware design projects.
It provides a way to define dependencies among IPs, execute unit tests,
and verify that the source files are valid input for various simulation
and synthesis tools.
Homepage:https://github.com/pulp-platform/bender License: || ( Apache-2.0 MIT ) Apache-2.0 BSD ISC MIT MPL-2.0 Unicode-3.0 ZLIB
sci-electronics/bluespec::guru
- Ebuilds: 5, Testing: 2026.01, Snapshot: 9999 Description:
This is a compiler, simulator, and associated tools for Bluespec High
Level Hardware Design Language (HL-HDL), supporting the two optional
syntaxes, BSV and BH. Language specifications and tutorials are
available in the BSVlang repository.
Bluespec is a high-level hardware description language. It has a variety
of advanced features including a powerful type system that can prevent
errors prior to synthesis time, and its most distinguishing feature,
Guarded Atomic Actions, allow you to define hardware components in a
modular manner based on their invariants, and let the compiler pick a
scheduler.
Homepage:https://github.com/B-Lang-org/bsc License: BSD GPL-3+ MIT
sci-electronics/circt::guru
- Ebuilds: 2, Testing: 1.153.1 Description:
CIRCT is an umbrella project containing reusable compiler
infrastructure for hardware design tools. It provides hardware
intermediate representations, transformations, and command-line tools
built on LLVM and MLIR.
Homepage:
https://circt.llvm.org
https://github.com/llvm/circt
License: Apache-2.0-with-LLVM-exceptions UoI-NCSA BSD public-domain rc
sci-electronics/cocotb::guru
- Ebuilds: 2, Testing: 2.0.1 Description:
cocotb is an open source coroutine-based cosimulation testbench
environment for verifying VHDL and SystemVerilog RTL using Python.
It allows you to write testbenches in Python and interface with
simulators like Icarus Verilog, GHDL, VCS, ModelSim, Questa and
others to verify hardware designs.
Homepage:https://www.cocotb.org License: BSD
sci-electronics/cocotb-bus::guru
- Ebuilds: 1, Testing: 0.3.0 Description:
cocotb-bus provides pre-packaged testbenching tools and reusable bus
interfaces for the cocotb project. It helps with verification of
digital designs by providing ready-to-use bus protocol implementations
and utilities to make testing hardware easier.
Homepage:https://github.com/cocotb/cocotb-bus License: BSD
sci-electronics/coil64::guru
- Ebuilds: 1, Testing: 2.4.39 Description:
Coil64 is inductance coil calculator, that allows to calculate the
single-layer and multi-layer air core inductors, the ferrite toroid
inductors or chokes, flat square coils on PCB etc.
You can help to translate application by the Crowdin Coil64 project.
Homepage:
https://coil32.net
https://github.com/radioacoustick/Coil64
License: GPL-3
sci-electronics/dsview::guru
- Ebuilds: 2, Testing: 1.3.2, Snapshot: 9999 Description:
DSView is an GUI programe for supporting various instruments from
DreamSourceLab, including logic analyzer, oscilloscope, etc. DSView is based
on sigrok project.
The sigrok project aims at creating a portable, cross-platform,
Free/Libre/Open-Source signal analysis software suite that supports various
device types (such as logic analyzers, oscilloscopes, multimeters, and
more).
Homepage:
https://www.dreamsourcelab.com
https://github.com/DreamSourceLab/DSView
License: GPL-3
sci-electronics/flexbv-free-bin::guru
- Ebuilds: 2, Testing: 5.3162 Description:
FlexBV Free edition is a slimmed down product of the full licenced version.
It's a modern and cross platform alternative to existing boardview programs.
Homepage:https://pldaniels.com/flexbv5/ License: FlexBV-Free-EULA
sci-electronics/liblxi::guru
- Ebuilds: 1, Testing: 1.20 Description:
liblxi is an open source software library which offers a simple API
for communicating with LXI compatible instruments. The API allows
applications to discover instruments on your network, send SCPI
commands, and receive responses.
Homepage:https://github.com/lxi-tools/liblxi License: BSD
sci-electronics/lxi-tools::guru
- Ebuilds: 1, Testing: 2.7 Description:
lxi-tools are open source software tools for managing network attached LXI
compatible test instruments such as modern oscilloscopes, power supplies,
spectrum analyzers etc.
Features include automatic discovery of test instruments, sending SCPI
commands, grabbing screenshots from supported instruments, benchmarking
SCPI message performance, and powerful scripting for test automation. Both
a commandline tool and a GUI tool are available.
Homepage:https://github.com/lxi-tools/lxi-tools License: BSD
sci-electronics/openboardview-bin::guru
- Ebuilds: 1, Testing: 10.0.0 Description:
OpenBoardView is a Linux SDL/ImGui edition software for viewing .brd files.
Intended as a drop-in replacement for the "Test_Link" software and "Landrex".
Homepage:https://openboardview.org License: MIT
sci-electronics/sby::guru
- Ebuilds: 2, Testing: 0.68 Description:
SymbiYosys (sby) is a front-end driver program for Yosys-based formal
hardware verification flows. It supports bounded model checking (BMC),
unbounded model checking, and cover property checking for hardware
designs written in Verilog, SystemVerilog, or VHDL. SymbiYosys
integrates with various SMT solvers and model checkers including
Yices, Z3, Boolector, and ABC.
Homepage:https://github.com/YosysHQ/sby License: ISC
sci-electronics/slang::guru
- Ebuilds: 2, Testing: 11.0, Snapshot: 9999 Description:
slang is a software library that provides various components for lexing,
parsing, type checking, and elaborating SystemVerilog code. It comes with
an executable tool that can compile and lint any SystemVerilog project,
but it is also intended to be usable as a front end for synthesis tools,
simulators, linters, code editors, and refactoring tools.
slang is the fastest and most compliant SystemVerilog frontend
(according to the open source chipsalliance test suite).
Homepage:
https://sv-lang.com
https://github.com/MikePopoloski/slang
License: MIT
sci-electronics/surfer::guru
- Ebuilds: 1, Testing: 0.7.0 Description:
Surfer is a waveform viewer with a focus on a snappy usable interface,
and support for many waveform formats. It can be used to view waveforms
from digital design simulations (VCD, FST, GHW) and supports features
like signal search, markers, and annotations. Surfer also includes a
server component (surver) for remote waveform viewing.
Homepage:https://surfer-project.org/ https://gitlab.com/surfer-project/surfer License: EUPL-1.2
0BSD Apache-2.0 Apache-2.0-with-LLVM-exceptions BSD Boost-1.0
CC0-1.0 CDLA-Permissive-2.0 EUPL-1.2 ISC MIT MPL-2.0 OFL-1.1
UbuntuFontLicense-1.0 Unicode-3.0 ZLIB
sci-electronics/vcd::guru
- Ebuilds: 1, Testing: 221217 Description:
The VCD (Value Change Dump) project on GitHub is a command line viewer
for VCD files, compatible with Windows, Linux, and MacOS.
It enables users to view and analyze waveform data from digital
simulations. The tool provides customization options for waveform
display and supports various output formats including YAML.
Installation is available via prebuilt binaries, source compilation, or
package managers.
The project is actively maintained and includes sample files and
detailed usage instructions. The repository is licensed under MIT and
supports CLI operations for efficient waveform analysis.
Homepage:https://github.com/yne/vcd License: MIT
sci-electronics/yosys::guru
- Ebuilds: 2, Testing: 0.68 Description:
This is a framework for RTL synthesis tools. It currently has extensive
Verilog-2005 support and provides a basic set of synthesis algorithms
for various application domains.
Yosys can be adapted to perform any synthesis job by combining the
existing passes (algorithms) using synthesis scripts and adding
additional passes as needed by extending the yosys C++ code base.
Yosys is free software licensed under the ISC license (a GPL compatible
license that is similar in terms to the MIT license or the 2-clause BSD
license).
Homepage:https://yosyshq.net/yosys/ License: ISC