High-Level Symbolic Construction Technique for High Performance Sequential Synthesis.

Andrew Seawright, Forrest Brewer

Browse the full DAC paper archive.