The effects of false paths in high-level synthesisReinaldo A. Bergamaschi1991ICCAD 1991Conference paper