Sharing knowledge about FPGA, Clash and our projects

On our public Slack channel at functionalprogramming.slack.com #clash we got the following question a while ago: Do you happen to know of any tutorials that show some IP working with the avalon MM bridge on a DE10 nano (from the HPS side)? Currently the clash part is making sense but figuring out how to call […]

We just released a new and convenient way to get started with Clash: a starter project based on Stack. To get started,install Stack. Next, open a terminal and type: [crayon-63cdb316f11e3631971137/] Your project will be instantiated in my-clash-project/ and is ready to be built. To do so, type: [crayon-63cdb316f11e6196945681/] To run the tests in the project, […]

Update: The position has been filled. We are currently hiring one full-time employee to join our development team. This role is based at our offices in Enschede, The Netherlands. About QBayLogic QBayLogic B.V. is a self-funded startup, now in existence for over three years, that provides FPGA engineering services. We help businesses create innovative products […]

It’s here! Clash 1.0 is finally released! And it has a binary release for the very first time! Check out the install instructions instructions on how to get it! The team at QBayLogic would like to thank all of the Clash supporters and users for making this happen. Read all about the new features of […]

In my previous post I discussed a solver plugin for KnownNat constraints, and with regards to user-defined type-level operations, I said: i.e. it cannot solve constraints involving subtraction (-) or user-specified type-level operations on type-level naturals […] For user-defined type-level natural operations we are currently out of luck: unlike for the standard operations in GHC.TypeLits, […]

If you have ever worked with GHC.TypeLits then you have probably encountered an error that is very similar to: [crayon-63cdb316f1879360537521/] In our case, the above error originates in the following file: [crayon-63cdb316f187c852917967/] The problem is that, even though we have a KnownNat n (a type-level natural n which we can reflect to a term-level Integer), […]

This version of the tutorial is outdated, please follow the new version. In this tutorial we’ll be programming the Terasic DE0-Nano FPGA development board using the functional hardware description language CλaSH. The end result of this tutorial is demonstrated in the video below: This tutorial is not a general introduction to CλaSH, nor to programming […]

Since version 7.10.2, GHC supports so-called type-checker plugins which let us extend GHC’s constraint solver, i.e. extend the the range of programs GHC can type check. Several plugins have already been released, the ones I know are: Adam Gundry’s uom-plugin: for supporting units of measure. Iavor Diatchki’s type-nat-solver: which allows you to hook up SMT […]