- Home
- Search Results
- Page 1 of 1
Search for: All records
-
Total Resources4
- Resource Type
-
0004000000000000
- More
- Availability
-
22
- Author / Contributor
- Filter by Author / Creator
-
-
Lim, Katie (4)
-
Anderson, Thomas (2)
-
Balkind, Jonathan (2)
-
Giordano, Matthew (2)
-
Kasikci, Baris (2)
-
Zhang, Irene (2)
-
Asanovic, Krste (1)
-
Benini, Luca (1)
-
Chirkov, Grigory (1)
-
Fu, Yaosheng (1)
-
Gao, Fei (1)
-
Gulati, Kunal (1)
-
Laeufer, Kevin (1)
-
Lavrov, Alexey (1)
-
Li, Ang (1)
-
Nelson, Jacob (1)
-
Nguyen, Tri M. (1)
-
Schaffner, Michael (1)
-
Sen, Koushik (1)
-
Stavrinos, Theano (1)
-
- Filter by Editor
-
-
null (1)
-
& Spizer, S. M. (0)
-
& . Spizer, S. (0)
-
& Ahn, J. (0)
-
& Bateiha, S. (0)
-
& Bosch, N. (0)
-
& Brennan K. (0)
-
& Brennan, K. (0)
-
& Chen, B. (0)
-
& Chen, Bodong (0)
-
& Drown, S. (0)
-
& Ferretti, F. (0)
-
& Higgins, A. (0)
-
& J. Peters (0)
-
& Kali, Y. (0)
-
& Ruiz-Arias, P.M. (0)
-
& S. Spitzer (0)
-
& Sahin. I. (0)
-
& Spitzer, S. (0)
-
& Spitzer, S.M. (0)
-
-
Have feedback or suggestions for a way to improve these results?
!
Note: When clicking on a Digital Object Identifier (DOI) number, you will be taken to an external site maintained by the publisher.
Some full text articles may not yet be available without a charge during the embargo (administrative interval).
What is a DOI Number?
Some links on this page may take you to non-federal websites. Their policies may differ from this site.
-
Free, publicly-accessible full text available May 14, 2026
-
Lim, Katie; Giordano, Matthew; Stavrinos, Theano; Zhang, Irene; Nelson, Jacob; Kasikci, Baris; Anderson, Thomas (, IEEE)Free, publicly-accessible full text available November 2, 2025
-
Wei, Tianrui; Laeufer, Kevin; Lim, Katie; Zhao, Jerry; Sen, Koushik; Balkind, Jonathan; Asanovic, Krste (, Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3)FPGA prototyping has long been an indispensable technique in pre-silicon verification as well as enabling early-stage software development. FPGAs themselves have also gained popularity as hardware accelerators deployed in datacenters. However, FPGA development brings a plethora of problems. These issues constitute a high barrier towards mass adoption of agile development surrounding FPGA-based projects.To address these problems, we have built Zoomie for fast incremental compilation, reusing verification infrastructure, and a software-inspired approach towards open-source emulation. We show that Zoomie achieves 18\texttimes{} speedup over the vendor toolchain in incremental compilation time for million-gate designs. At the same time, Zoomie also provides a software-like debugging experience with breakpoints, stepping the design, and forcing values in a running design.more » « less
-
Balkind, Jonathan; Lim, Katie; Schaffner, Michael; Gao, Fei; Chirkov, Grigory; Li, Ang; Lavrov, Alexey; Nguyen, Tri M.; Fu, Yaosheng; Zaruba, Florian; et al (, Proceedings of Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS’20))null (Ed.)
An official website of the United States government
