verilog alternatives and similar packages

Based on the "Embedded" category.
Alternatively, view verilog alternatives based on common mentions on social networks and blogs.

atom

9.6 0.0 verilog VS atom

A DSL for embedded hard realtime applications.
copilot

9.4 0.0 verilog VS copilot

A (Haskell DSL) stream language for generating hard real-time C code.

Access the most powerful time series database as a service

Ingest, store, & analyze all types of time series data in a fully-managed, purpose-built database. Keep data forever with low-cost storage and superior data compression.

Promo www.influxdata.com

ecu

8.6 0.0 verilog VS ecu

Utilities for automotive ECU development.
improve

8.4 0.0 verilog VS improve

An imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checking. ImProve compiles to C and Simulink.
ion

7.2 0.0 verilog VS ion

An Ivory library inspired by Atom
copilot-language

6.6 0.0 verilog VS copilot-language

A Haskell-embedded DSL for monitoring hard real-time distributed systems.
atom-msp430

6.1 0.0 verilog VS atom-msp430

Definitions for using Atom with the MSP430 microcontroller family.
copilot-sbv

5.8 0.0 verilog VS copilot-sbv

SBV backend for Copilot.
copilot-core

4.0 0.0 verilog VS copilot-core

Intermediate representation for CoPilot. Strictly follows Haskell 2010 except for universal and existential quantification.
fault-tree

4.0 0.0 verilog VS fault-tree

A fault tree analysis library.
processor-creative-kit

3.8 0.0 verilog VS processor-creative-kit

haskell prrocessor-creative-kit
copilot-libraries

3.8 0.0 verilog VS copilot-libraries

Copilot libraries that use the Copilot language
copilot-cbmc

3.2 0.0 verilog VS copilot-cbmc

cbmc based tool for verifying copilot programs
copilot-c99

2.6 0.0 verilog VS copilot-c99

A C99-backend for Copilot