A New Design Methodology for Composing Complex Digital Systems

Gupta, 2003, SPARK: a High-Level Synthesis Framework for Applying Parallelizing Compiler Transformations, 461 Bluespec Inc., Bluespec SystemVerilog ReferenceGuide, Available from: http://www.bluespec.com Benvensitee, 2003, The Synchronous Languages 12 Years Later, Proceedings of the IEEE, 91, 64, 10.1109/JPROC.2002.805826 Arvind, 1999, Using Term Rewriting Systems to Design and Verify Processors, IEEE Micro, 19, 36, 10.1109/40.768501 Chen, 1977, A Fast Computational Algorithm for the Discrete Cosine Transform, IEEE Trans. on Communication, 25, 1004, 10.1109/TCOM.1977.1093941 Patterson, 2009 Plosila, 1997, Action Systems in Pipelined Processor Design, 156 Chu, 2012, Golden-Finger and Back-Door: Two HW/SW Mechanisms for Accelerating Multicore Computer Systems, International Journal of Engineering and Technology Innovation, 2, 72 Dargužis, 2011, Dynamic Processes of a Vehicle Moving over Stepshaped Obstacles, Journal of Vibroengineering, 13 Khalkhali, 2011, Modeling and Multi-Objective Optimization of Forward-Curved Blade Centrifugal Fans Using CFD and Neural Networks, Transactions of the Canadian Society for Mechanical Engineering, 35, 63, 10.1139/tcsme-2011-0005 ARM Inc., Integrator Logic Module User Guide.Available from: http://www.arm.com Sangiovanni-Vincentelli, 2007, SLD? Reasoning about the Trends and Challenges of System Level Design, Proceedings of the IEEE, 95, 467, 10.1109/JPROC.2006.890107 Stehr, 2010, Transaction Level Modeling in Practice: Motivation and Introduction, 324 Bergamaschi, 2002, Bridging the Domains of High-Level and Logic Synthesis, IEEE9 Trans. on Computer-Aided Design of Integrated Circuits and Systems, 21, 582, 10.1109/43.998629 Bergamaschi, 1997, Control-Flow versus Data-Flow-Based Scheduling: Combining Both Approaches in An Adaptive Scheduling System, IEEE Trans. on Very Large Scale Integration System, 5, 82, 10.1109/92.555989 Orailoglu, 1986, Flow Graph Representation, 503 Keinert, 2009, SystemCoDesigner - An Automatic ESL Synthesis Approach by Design Space Exploration and Behavioral Synthesis for Streaming Applications, ACM Trans. on Design Automation of Electronic Systems, 14, 1, 10.1145/1455229.1455230 Lee, 2003, Actor-Oriented Design of Embedded Hardware and Software Systems, Journal of Circuits, Systems and Computers, 12, 231, 10.1142/S0218126603000751 Forte Design Systems. Available from: http://www.forteds.com. Grotker, 2002 Mentor Graphics Corp., Available from: http://www.mentor.com NEC System Technologies, Ltd., Available from: http://www.cyberworkbench.com