clashilator: Automated Clash to Verilator bridge

[ development, hardware, library, mit, program ] [ Propose Tags ]

Code generator and Setup.hs hooks to generate a Verilator simulation and access it from Clash

[Skip to Readme]
Versions [RSS] [faq] 0.1.0, 0.1.1
Dependencies aeson, base (>=4.14 && <5), Cabal (>=, clash-ghc (>=1.4.2 && <1.5), clash-lib (>=1.4.2 && <1.5), containers, filepath, ghc, lens, optparse-applicative, shake, stache, text, unordered-containers [details]
License MIT
Author Gergő Érdi
Category Hardware, Development
Home page
Bug tracker
Source repo head: git clone
Uploaded by GergoErdi at 2021-08-20T10:21:57Z
Distributions NixOS:0.1.0
Executables clashilator
Downloads 95 total (6 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs not available [build log]
All reported builds failed as of 2021-08-20 [all 2 reports]


  • Clash
    • Clash.Clashilator
      • Clash.Clashilator.Setup


Maintainer's Corner

For package maintainers and hackage trustees


Readme for clashilator-0.1.0

[back to package description]

Clashilator: Automated Clash - Verilator integration

This package provides Cabal Setup.hs functionality to automatically integrate Verilator into your Clash project.

  • Detailed introduction:
  • Example project:


Suppose you have a Clash circuit that you want to simulate using Verilator, and then write Haskell code to interact with that simulation. If your Clash code looks like this:

    :: "CLK" ::: Clock System
    -> "FOO" ::: Signal System Bit
    -> "BAR" ::: Signal System (Unsigned 4)
    -> ("BAZ" ::: Signal System (Unsigned 10), "QUUX" ::: Signal System Bit)
topEntity = ...
makeTopEntity 'topEntity

and you put this in your Cabal file:

  setup-depends: clashilator

executable MySim
  main-is: simulator.hs
  x-clashilator-clock: CLK
  x-clashilator-top-is: MyCircuit

then in your simulator.hs, you can import the "virtual" module Clash.Clashilator.FFI which provides the following definitions:

    { iFOO :: Bit
    , iBAR :: Word8
    deriving (Show)
instance Storable INPUT

    { oBAZ :: Word16
    , oQUUX :: Bit
    deriving (Show)
instance Storable OUTPUT

data Sim

simInit     :: IO (Ptr Sim)
simShutdown :: Ptr Sim -> IO ()
simStep     :: Ptr Sim -> Ptr INPUT -> Ptr OUTPUT -> IO ()

Note that input and output buses are represented as the smallest possible Word type, to improve marshalling cost when crossing the Haskell-C++ barrier.