Synchronous equivalence for embedded systems: a tool for design exploration.

Harry Hsieh, Felice Balarin

Browse the full ICCAD paper archive.