Hardware synthesis with the Bach system

We describe the Bach hardware synthesis system from parallel algorithms, allowing users to design, verify and synthesize large and complex circuits. Each is a working tool which is already being used for full-scale commercial designs. The source language is based on ANSI C with extensions to support explicit parallelism, communications and bit-width specification. We demonstrate its effectiveness by evaluating industrial strength applications.