This repository contains code for circuits and verification related to Project Oak.
One of the experiments in this repo is an attempt to use the Kami system to define a simple counter circuit and drive the implementation process all the way from Kami/Coq via Bluespec to Verilog and then using the Vivado Xilinx FPGA tools to produce a running demo on the Xilinx ZCU104 development board.
We will soon add an example thow shows a totally open source flow for mapping to Lattice FPGAs.