Bachrach, Jonathan
57  Ergebnisse:
Personensuche X
?
1

Simulator Independent Coverage for RTL Hardware Languages:

, In: Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3,
Laeufer, Kevin ; Iyer, Vighnesh ; Biancolin, David... - p. 606-615 , 2023
 
?
2

Hammer : a modular and reusable physical design flow too..:

, In: Proceedings of the 59th ACM/IEEE Design Automation Conference,
Liew, Harrison ; Grubb, Daniel ; Wright, John... - p. 1335-1338 , 2022
 
?
4

Chipyard - An integrated SoC research and implementation en..:

, In: Proceedings of the 57th ACM/EDAC/IEEE Design Automation Conference,
 
?
5

Invited: Chipyard - An Integrated SoC Research and Implemen..:

, In: 2020 57th ACM/IEEE Design Automation Conference (DAC),
 
?
6

A Methodology for Reusable Physical Design:

, In: 2020 21st International Symposium on Quality Electronic Design (ISQED),
Wang, Edward ; Schmidt, Colin ; Izraelevitz, Adam... - p. 243-249 , 2020
 
?
8

Open-Source EDA Tools and IP, A View from the Trenches:

, In: Proceedings of the 56th Annual Design Automation Conference 2019,
 
?
9

Golden Gate: Bridging The Resource-Efficiency Gap Between A..:

, In: 2019 IEEE/ACM International Conference on Computer-Aided Design (ICCAD),
 
?
10

FASED : FPGA-Accelerated Simulation and Evaluation of DR..:

, In: Proceedings of the 2019 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays,
Biancolin, David ; Karandikar, Sagar ; Kim, Donggyu... - p. 330-339 , 2019
 
?
11

Simmani : Runtime Power Modeling for Arbitrary RTL with ..:

, In: Proceedings of the 52nd Annual IEEE/ACM International Symposium on Microarchitecture,
Kim, Donggyu ; Zhao, Jerry ; Bachrach, Jonathan. - p. 1050-1062 , 2019
 
?
12

GUIDEDSAMPLER: Coverage-guided Sampling of SMT Solutions:

, In: 2019 Formal Methods in Computer Aided Design (FMCAD),
 
?
13

RFUZZ : coverage-directed fuzz testing of RTL on FPGAs:

, In: Proceedings of the International Conference on Computer-Aided Design,
Laeufer, Kevin ; Koenig, Jack ; Kim, Donggyu.. - p. 1-8 , 2018
 
?
14

Firesim : FPGA-accelerated cycle-exact scale-out system ..:

, In: Proceedings of the 45th Annual International Symposium on Computer Architecture,
Karandikar, Sagar ; Mao, Howard ; Kim, Donggyu... - p. 29-42 , 2018
 
?
15

ACED : a hardware library for generating DSP systems:

, In: Proceedings of the 55th Annual Design Automation Conference,
Wang, Angie ; Rigge, Paul ; Izraelevitz, Adam... - p. 1-6 , 2018
 
1-15