Search:

sci-electronics/bluespec

Toolchain for the Bluespec Hardware Definition Language

sci-electronics/coil64

Coil64 is inductance coil calculator

sci-electronics/logic-bin

Saleae logic analyzer

sci-electronics/vcd

VCD file (Value Change Dump) command line viewer

sci-electronics/bender

A dependency management tool for hardware projects

sci-electronics/circt

The fast free Verilog/SystemVerilog simulator

sci-electronics/cocotb-bus

Reusable testbenching tools and bus interfaces for cocotb

sci-electronics/cocotb

Python-based chip (RTL) verification

sci-electronics/dsview

An open source multi-function instrument

sci-electronics/kactus2

A open source IP-XACT-based tool

sci-electronics/liblxi

Implementation of the LAN eXtensions for Instrumentation (LXI)

sci-electronics/sby

Front-end for Yosys-based formal hardware verification flows

sci-electronics/qucs-s

Quite universal circuit simulator with SPICE

sci-electronics/lxi-tools

Tools to access devices with LXI

sci-electronics/slang

SystemVerilog compiler and language services

sci-electronics/svls

SystemVerilog language server

sci-electronics/verilator

The fast free Verilog/SystemVerilog simulator

sci-electronics/surfer

Waveform viewer with a focus on a snappy usable interface

sci-mathematics/frama-c-callgraph

Callgraph plugin for frama-c

sci-mathematics/frama-c

Framework for analysis of source codes written in C

sci-mathematics/frama-c-aorai

Aorai (automaton annotations) plugin for frama-c

sci-mathematics/frama-c-dive

Dive plugin for frama-c

sci-mathematics/frama-c-constant-folding

Constant folding plugin for frama-c

sci-mathematics/frama-c-eva

Value analysis (EVA) plugin for frama-c

sci-mathematics/frama-c-e-acsl

Runtime verification of ACSL (E-ACSL) plugin for frama-c

sci-mathematics/frama-c-from

From analysis plugin for frama-c

sci-mathematics/frama-c-loopanalysis

Loop analysis plugin for frama-c

sci-mathematics/frama-c-impact

Impact plugin for frama-c

sci-mathematics/frama-c-inout

In/out analysis plugin for frama-c

sci-mathematics/frama-c-instantiate

Instantiate analysis plugin for frama-c

sci-mathematics/frama-c-obfuscator

Obfuscator plugin for frama-c

sci-mathematics/frama-c-metrics

Metrics plugin for frama-c

sci-mathematics/frama-c-nonterm

Nonterm plugin for frama-c

sci-mathematics/frama-c-occurrence

Occurrence analysis plugin for frama-c

sci-mathematics/frama-c-pdg

Program dependence graph plugin for frama-c

sci-mathematics/frama-c-qed

Qed plugin for frama-c

sci-mathematics/frama-c-printapi

Plugin generating .mli interface files for plugin APIs for frama-c

sci-mathematics/frama-c-reduc

frama-c plugin to generate ACSL annotations from Eva information

sci-mathematics/frama-c-postdominators

Postdominators plugin for frama-c

sci-mathematics/frama-c-rtegen

Runtime error annotation (RTE) generation plugin for frama-c

sci-mathematics/frama-c-scope

Scope plugin for frama-c

sci-mathematics/frama-c-report

Report plugin for frama-c

sci-mathematics/frama-c-server

Server plugin for frama-c

sci-mathematics/frama-c-security-slicing

Security slicing plugin for frama-c

sci-mathematics/frama-c-slicing

Slicing plugin for frama-c

sci-mathematics/frama-c-sparecode

Spare code plugin for frama-c

sci-mathematics/frama-c-studia

Studia plugin for frama-c

sci-mathematics/frama-c-users

Users plugin for frama-c

sci-mathematics/frama-c-variadic

Variadic function transformation plugin for frama-c

sci-mathematics/rstudio-desktop-bin

IDE for R and Python