An attempt at designing and verifying a simple ASIC, probably a DSP.