Search for persons
X
?
2021 IEEE/ACM International Conference On Computer Aided Design (ICCAD) ,
2
Compatible Equivalence Checking of X-Valued Circuits:
, In:
?
Proceedings of the 50th Annual Design Automation Conference ,
4
A counterexample-guided interpolant generation algorithm fo..:
, In:
?
Proceedings of the International Conference on Computer-Aided Design ,
5
Conquering the scheduling alternative explosion problem of ..:
, In:
?
Proceedings of the 50th Annual Design Automation Conference ,
6
A robust constraint solving framework for multiple constrai..:
, In:
?
Proceedings of the International Conference on Computer-Aided Design ,
7
A robust general constrained random pattern generator for c..:
, In:
?
Proceedings of the 49th Annual Design Automation Conference ,
8
Symbolic model checking on SystemC designs:
, In:
?
Proceedings of the Conference on Design, Automation and Test in Europe ,
9
Multi-patch generation for multi-error logic rectification ..:
, In:
?
Proceedings of the International Conference on Computer-Aided Design ,
10
Property-specific sequential invariant extraction for SAT-b..:
, In:
?
Proceedings of the 48th Design Automation Conference ,
11
Using SAT-based Craig interpolation to enlarge clock gating..:
, In:
?
Proceedings of the 48th Design Automation Conference ,
12
Interpolation-based incremental ECO synthesis for multi-err..:
, In:
?
Proceedings of the 16th Asia and South Pacific Design Automation Conference ,
13
SoC HW/SW verification and validation:
, In:
?
Proceedings of the 16th Asia and South Pacific Design Automation Conference ,
14
A robust ECO engine by resource-constraint-aware technology..:
, In:
?
Proceedings of the International Conference on Computer-Aided Design ,
15