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.

InfluxDB - Power Real-Time Data Analytics at Scale

Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

Promo www.influxdata.com



• ecu

  8.7 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

  6.9 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.

• fault-tree

  4.8 0.0 verilog VS fault-tree

  A fault tree analysis library.

• processor-creative-kit

  4.6 0.0 verilog VS processor-creative-kit

  haskell prrocessor-creative-kit

• copilot-core

  4.1 0.0 verilog VS copilot-core

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

• copilot-libraries

  3.9 0.0 verilog VS copilot-libraries

  Copilot libraries that use the Copilot language

• copilot-cbmc

  3.4 0.0 verilog VS copilot-cbmc

  cbmc based tool for verifying copilot programs

• copilot-c99

  2.8 0.0 verilog VS copilot-c99

  A C99-backend for Copilot

Do you think we are missing an alternative of verilog or a related project?

WorkOS - The modern identity platform for B2B SaaS

sponsored workos.com

Popular Comparisons

• verilog
  vs
  atom
• verilog
  vs
  atom
• atom-msp430
  vs
  atom

SaaSHub - Software Alternatives and Reviews

sponsored www.saashub.com