Byron Cook: Taming the Unbounded for Hardware Synthesis. IFM 2009: 39