Hashem Hashemi Najaf-abadi A procedure for obtaining a behavioral description for the control logic of a non-linear pipeline. 86-91 2004 conf/aspdac/2004 ASP-DAC http://doi.acm.org/10.1145/1015090.1015112 db/conf/aspdac/aspdac2004.html#Najaf-Abadi04