Behavioral Synthesis Methodology for HDL-Based Specification and Validation.

David Knapp, Tai Ly, Don MacMillen, Ron Miller

Browse the full DAC paper archive.