Bio
We haven't found any bio for you yet.
Researcher Links
Loading links...
Publications by Type
Loading publications…
The last 5 uploaded publications
Fast Validation of Mixed-Signal SoCs
Daniel Stanley, Can Wang, Sung‐Jin Kim, Steven Herbst, Jaeha Kim, Mark Horowitz (2021). Fast Validation of Mixed-Signal SoCs. IEEE Open Journal of the Solid-State Circuits Society, 1, pp. 184-195, DOI: 10.1109/ojsscs.2021.3122397.
Article358 days agofault: A Python Embedded Domain-Specific Language for Metaprogramming Portable Hardware Verification Components
Lenny Truong, Steven Herbst, Rajsekhar Setaluri, Makai Mann, Ross Daly, Keyi Zhang, Caleb Donovick, Daniel Stanley, Mark Horowitz, Clark Barrett, Pat Hanrahan (2020). fault: A Python Embedded Domain-Specific Language for Metaprogramming Portable Hardware Verification Componentsfault: A Python Embedded Domain-Specific Language for Metaprogramming Portable Hardware Verification Components. Lecture notes in computer science, pp. 403-414, DOI: 10.1007/978-3-030-53288-8_19,
Chapter in a book358 days agofault: A Python Embedded Domain-Specific Language For Metaprogramming Portable Hardware Verification Components
Lenny Truong, Steven Herbst, Rajsekhar Setaluri, Makai Mann, Ross Daly, Keyi Zhang, Caleb Donovick, Daniel Stanley, Mark Horowitz, Clark Barrett, Pat Hanrahan (2020). fault: A Python Embedded Domain-Specific Language For Metaprogramming Portable Hardware Verification Components. arXiv (Cornell University)
Preprint358 days agofault: A Python Embedded Domain-Specific Language For Metaprogramming Portable Hardware Verification Components
Lenny Truong, Steven Herbst, Rajsekhar Setaluri, Makai Mann, Ross Daly, Keyi Zhang, Caleb Donovick, Daniel Stanley, Mark Horowitz, Clark Barrett, Pat Hanrahan (2020). fault: A Python Embedded Domain-Specific Language For Metaprogramming Portable Hardware Verification Components.
Preprint308 days ago