暂无分享,去创建一个
[1] Adam M. Izraelevitz,et al. The Rocket Chip Generator , 2016 .
[2] Charles E. Leiserson,et al. Retiming synchronous circuitry , 1988, Algorithmica.
[3] Jason Cong,et al. High-Level Synthesis for FPGAs: From Prototyping to Deployment , 2011, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
[4] Christoforos E. Kozyrakis,et al. Understanding sources of inefficiency in general-purpose chips , 2010, ISCA.
[5] John Wawrzynek,et al. Chisel: Constructing hardware in a Scala embedded language , 2012, DAC Design Automation Conference 2012.
[6] Roberto Ierusalimschy,et al. Lua—An Extensible Extension Language , 1996, Softw. Pract. Exp..
[7] Xuan Yang,et al. Programming Heterogeneous Systems from an Image Processing DSL , 2016, ACM Trans. Archit. Code Optim..
[8] Nikolaj Bjørner,et al. Z3: An Efficient SMT Solver , 2008, TACAS.
[9] Michael Bedford Taylor,et al. Basejump STL: systemverilog needs a standard template library for hardware design , 2018, DAC.
[10] Takeo Kanade,et al. An Iterative Image Registration Technique with an Application to Stereo Vision , 1981, IJCAI.
[11] Frédo Durand,et al. Learning to optimize halide with tree search and random programs , 2019, ACM Trans. Graph..
[12] Pat Hanrahan,et al. Rigel , 2016, ACM Trans. Graph..
[13] Frédo Durand,et al. Halide: a language and compiler for optimizing parallelism, locality, and recomputation in image processing pipelines , 2013, PLDI 2013.
[14] Edward A. Lee,et al. Static Scheduling of Synchronous Data Flow Programs for Digital Signal Processing , 1989, IEEE Transactions on Computers.
[15] Pat Hanrahan,et al. Darkroom , 2014, ACM Trans. Graph..