J.R. Burch

Robust latch mapping for combinational equivalence checking

J.R. Burch, V. Singhal, J. Burch, 1998, 1998 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (IEEE Cat. No.98CB36287).

Tight integration of combinational verification methods

J.R. Burch, V. Singhal, J. Burch, 1998, 1998 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (IEEE Cat. No.98CB36287).