ZEPTER PETER WILHELM JOSEPH

Providing guidance to an equivalence checker when a design contains retimed registers