222 citations · 768 across the 21 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2020
fault: A Python Embedded Domain-Specific Language For Metaprogramming Portable Hardware Verification Components
Lenny Truong, Steven Herbst, Rajsekhar Setaluri +8
While hardware generators have drastically improved design productivity, they have introduced new challenges for the task of verification. To effectively cover the functionality of…
cs.SE2016★ 2 cited
Programming Heterogeneous Systems from an Image Processing DSL
Jing Pu, Steven Bell, Xuan Yang +4
Specialized image processing accelerators are necessary to deliver the performance and energy efficiency required by important applications in computer vision, computational photog…