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 – Built for High-Performance Time Series Workloads

InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.

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.4 0.0 verilog VS copilot-language

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

• atom-msp430

  5.9 0.0 verilog VS atom-msp430

  Definitions for using Atom with the MSP430 microcontroller family.
  

• copilot-sbv

  5.5 0.0 verilog VS copilot-sbv

  SBV backend for Copilot.
  

• fault-tree

  4.3 0.0 verilog VS fault-tree

  A fault tree analysis library.
  

• processor-creative-kit

  4.0 0.0 verilog VS processor-creative-kit

  haskell prrocessor-creative-kit
  

• copilot-core

  3.5 0.0 verilog VS copilot-core

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

• copilot-libraries

  3.3 0.0 verilog VS copilot-libraries

  Copilot libraries that use the Copilot language
  

• copilot-cbmc

  2.6 0.0 verilog VS copilot-cbmc

  cbmc based tool for verifying copilot programs
  

• copilot-c99

  2.2 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?

SaaSHub - Software Alternatives and Reviews

featured www.saashub.com

Popular Comparisons

• verilog
  vs
  atom
• verilog
  vs
  copilot-libraries
• verilog
  vs
  copilot-c99
• atom
  vs
  verilog
• atom-msp430
  vs
  atom