Nick Savoiu Sandeep K. Shukla Rajesh K. Gupta Concurrency in System Level Design: Conflict Between Simulation and Synthesis Goals. 407-411 2002 IWLS db/conf/iwls/iwls2002.html#SavoiuSG02