Corresponding author: Yves Robert Submitted as: Regular paper Conference area: Design methodologies, Compilers
