Personensuche
X
?
Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3 ,
1
Simulator Independent Coverage for RTL Hardware Languages:
, In:
?
Proceedings of the 59th ACM/IEEE Design Automation Conference ,
2
Hammer : a modular and reusable physical design flow too..:
, In:
?
Proceedings of the 57th ACM/EDAC/IEEE Design Automation Conference ,
4
Chipyard - An integrated SoC research and implementation en..:
, In:
?
2020 57th ACM/IEEE Design Automation Conference (DAC) ,
5
Invited: Chipyard - An Integrated SoC Research and Implemen..:
, In:
?
2020 21st International Symposium on Quality Electronic Design (ISQED) ,
6
A Methodology for Reusable Physical Design:
, In:
?
Proceedings of the 56th Annual Design Automation Conference 2019 ,
8
Open-Source EDA Tools and IP, A View from the Trenches:
, In:
?
2019 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) ,
9
Golden Gate: Bridging The Resource-Efficiency Gap Between A..:
, In:
?
Proceedings of the 2019 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays ,
10
FASED : FPGA-Accelerated Simulation and Evaluation of DR..:
, In:
?
Proceedings of the 52nd Annual IEEE/ACM International Symposium on Microarchitecture ,
11
Simmani : Runtime Power Modeling for Arbitrary RTL with ..:
, In:
?
2019 Formal Methods in Computer Aided Design (FMCAD) ,
12
GUIDEDSAMPLER: Coverage-guided Sampling of SMT Solutions:
, In:
?
Proceedings of the International Conference on Computer-Aided Design ,
13
RFUZZ : coverage-directed fuzz testing of RTL on FPGAs:
, In:
?
Proceedings of the 45th Annual International Symposium on Computer Architecture ,
14
Firesim : FPGA-accelerated cycle-exact scale-out system ..:
, In:
?
Proceedings of the 55th Annual Design Automation Conference ,
15