1. SPARK: a High-Level Synthesis Framework for Applying Parallelizing Compiler Transformations;Gupta,2003
2. Bluespec Inc., Bluespec SystemVerilog ReferenceGuide, Available from: http://www.bluespec.com
3. The Synchronous Languages 12 Years Later;Benvensitee;Proceedings of the IEEE,2003
4. Using Term Rewriting Systems to Design and Verify Processors;Arvind;IEEE Micro,1999
5. A Fast Computational Algorithm for the Discrete Cosine Transform;Chen;IEEE Trans. on Communication,1977