Dependent latch identification in the reachable state space.

Chen-Hsuan Lin, Chun-Yao Wang

Browse the full ASPDAC paper archive.