Introducing CoHDL

• cohdl

  2 14 8.2 Python

  A Python to VHDL compiler

Over the past few months, I have been working on CoHDL, a hardware description language embedded in Python. Similar to existing solutions like MyHDL, it works by inspecting and translating the abstract syntax tree of Python functions. The initial idea was to explore whether async/await coroutines could be used as an abstraction for state machines.

• cocotb

  28 1,643 9.7 Python

  cocotb, a coroutine based cosimulation library for writing VHDL and Verilog testbenches in Python

  

At the moment, it is not possible to directly simulate synthesizable contexts. In principle, I could add a simulator to CoHDL. As a Python implementation, it would be orders of magnitude slower than other solutions. Instead, I am using Cocotb to validate the generated VHDL and for the unit tests in the GitHub repository. There is also some very, very experimental support for formal verification, but it will take some time for that to become usable.

• Scout Monitoring

  www.scoutapm.com featured

  Free Django app performance insights with Scout Monitoring. Get Scout setup in minutes, and let us sweat the small stuff. A couple lines in settings.py is all you need to start monitoring your apps. Sign up for our free tier today.

  

• yieldfsm

  1 8 10.0 Haskell

  YieldFSM, a DSL for describing finite state machines in Clash

Nice! Need to check this out, CoHDL seems to have similarities to my work (https://dl.acm.org/doi/abs/10.1145/3549821, https://github.com/tilk/yieldfsm ).

Suggest a related project