Personensuche
X
?
2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD) ,
2
Sphinx: A Hybrid Boolean Processor-FPGA Hardware Emulation ..:
, In:
?
2019 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) ,
3
2019 CAD Contest: System-level FPGA Routing with Timing Div..:
, In:
?
Proceedings of the 2017 ACM on International Symposium on Physical Design ,
4
Routability Optimization for Industrial Designs at Sub-14nm..:
, In:
?
Proceedings of the 2017 ACM on International Symposium on Physical Design ,
5
Interesting Problems in Physical Synthesis:
, In:
?
Proceedings of the 2009 international symposium on Physical design ,
6
On improving optimization effectiveness in interconnect-dri..:
, In:
?
Proceedings of the 46th Annual Design Automation Conference ,
7
GPU friendly fast Poisson solver for structured power grid ..:
, In:
?
Proceedings of the 2009 international symposium on Physical design ,
8
Industrial clock design:
, In:
?
Proceedings of the 44th annual Design Automation Conference ,
9
Techniques for effective distributed physical synthesis:
, In:
?
Proceedings of the 42nd annual Design Automation Conference ,
11
Session details: Effective formal verification using word-l..:
, In:
?
Proceedings of the 42nd annual Design Automation Conference ,
12
Session details: Special session: formally verifying your 1..:
, In:
?
Proceedings of the 2005 Asia and South Pacific Design Automation Conference ,
13
Supporting sequential assumptions in hybrid verification:
, In:
?
Proceedings of the 41st annual Design Automation Conference ,
14
Abstraction refinement by controllability and cooperativene..:
, In:
?
Proceedings of the 41st annual Design Automation Conference ,
15
Session details: Advances in boolean analysis techniques:
, In:
1-15
