Nikil D. Dutt Tedd Hadley Daniel Gajski An Intermediate Representation for Behavioral Synthesis. 14-19 1990 DAC http://doi.acm.org/10.1145/123186.123192 db/conf/dac/dac90.html#DuttHG90