A compiler from Higher Order Logic to hardware (with a detailed survey of the field)cl.cam.ac.uk1 pointprocrastitron18 years ago