A CIRCT Project Tutorial
My ARITH 2026 tutorial and demo hopefully convinced a few folks to try building hardware with CIRCT!
Samuel Coward
University College London
Latest posts
Teaching Year 10 How CPUs Work
I recently led a 2 hour class for twenty 14 year olds and this is what I taught them
verifying EDA and compiler optimizations once and for all
At CAV 2026 we'll be presenting our new solver called ParaBit, which proves the correctness of EDA and compiler transformations using the theory of parametric bitvectors.
Are Datapath Circuit Transformations just Compiler Optimisations?
An investigation into whether carry-save arithmetic can be viewed as loop fusion.