This post is about my entry in the Reactive Synthesis Competition. I wrote it several years ago, and, as of this year, it doesn’t even win its track anymore. However, I recently saw reactive synthesis mentioned in the SymbiYosys docs and got excited because that means that someone outside of academia is possibly interested in reactive synthesis. So, I thought I’d write a very high level blog post introducing reactive synthesis and my solver.
In this post I will design a series of digital filter circuits in the functional hardware description language Clash.
In this blog post I’m going to give a demo of my sdr library. SDR stands for software defined radio. The library is mostly written in Haskell and is available on Hackage as the (imaginatively named) sdr library. I will be using it to build an FM broadcast band receiver.