Imed Moussa Zoltan Sugar Rodolph Suescun Mario Diaz-Nava Marco Pavesi Salvatore Crudo Luca Gazi Ahmed Amine Jerraya Comparing RTL and Behavioral Design Methodologies in the Case of a 2M-Transistor ATM Shaper. 598-603 1999 DAC http://doi.acm.org/10.1145/309847.310006 db/conf/dac/dac99.html#MoussaSSDPCGJ99