Automatic generation of hardware/software interfaces
暂无分享,去创建一个
[1] Gilles Kahn,et al. The Semantics of a Simple Language for Parallel Programming , 1974, IFIP Congress.
[2] Stan Y. Liao,et al. An efficient implementation of reactivity for modeling hardware in the scenic design environment , 1997, DAC.
[3] Stephen A. Edwards,et al. SHIM: a deterministic model for heterogeneous embedded systems , 2006, IEEE Trans. Very Large Scale Integr. Syst..
[4] Arvind,et al. Scheduling as Rule Composition , 2007, 2007 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2007).
[5] Edward A. Lee,et al. Ptolemy: A Framework for Simulating and Prototyping Heterogenous Systems , 2001, Int. J. Comput. Simul..
[6] Abdoulaye Gamatié,et al. Polychronous mode automata , 2006, EMSOFT '06.
[7] Luciano Lavagno,et al. Metropolis: An Integrated Electronic System Design Environment , 2003, Computer.
[8] William Thies,et al. StreamIt: A Language for Streaming Applications , 2002, CC.
[9] Stan Y. Liao. Towards a new standard for system-level design , 2000, CODES '00.
[10] Arvind,et al. A Comparative Evaluation of High-Level Hardware Synthesis Using Reed–Solomon Decoder , 2010, IEEE Embedded Systems Letters.
[11] Ranga Vemuri,et al. MAGELLAN: multiway hardware-software partitioning and scheduling for latency minimization of hierarchical control-dataflow task graphs , 2001, Ninth International Symposium on Hardware/Software Codesign. CODES 2001 (IEEE Cat. No.01TH8571).
[12] Parosh Aziz Abdulla,et al. Designing Safe, Reliable Systems Using Scade , 2004, ISoLA.
[13] Gérard Berry,et al. The ESTEREL Synchronous Programming Language and its Mathematical Semantics , 1984, Seminar on Concurrency.
[14] Arvind,et al. Leveraging latency-insensitivity to ease multiple FPGA design , 2012, FPGA '12.
[15] Gaetano Borriello,et al. The Chinook hardware/software co-synthesis system , 1995 .
[16] Gaetano Borriello,et al. Synthesis of the hardware/software interface in microcontroller-based systems , 1992, 1992 IEEE/ACM International Conference on Computer-Aided Design.
[17] Jack B. Dennis,et al. Data flow schemas , 1972, International Sympoisum on Theoretical Programming.
[18] Joseph E. Stoy,et al. Reliable design with multiple clock domains , 2006, Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings..
[19] K. Mani Chandy,et al. Parallel program design - a foundation , 1988 .
[20] Zoltán Ádám Mann,et al. Algorithmic aspects of hardware/software partitioning , 2005, TODE.
[21] Pascal Raymond,et al. The synchronous data flow programming language LUSTRE , 1991, Proc. IEEE.
[22] José Meseguer,et al. A formal executable semantics of Verilog , 2010, Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010).
[23] Arvind,et al. Bounded Dataflow Networks and Latency-Insensitive circuits , 2009, 2009 7th IEEE/ACM International Conference on Formal Methods and Models for Co-Design.
[24] Marc Pouzet,et al. Mixing signals and modes in synchronous data-flow systems , 2006, EMSOFT '06.
[25] Nancy A. Lynch,et al. An introduction to input/output automata , 1989 .
[26] Arvind,et al. Synthesis from multi-cycle atomic actions as a solution to the timing closure problem , 2008, 2008 IEEE/ACM International Conference on Computer-Aided Design.
[27] Arvind,et al. Executing a Program on the MIT Tagged-Token Dataflow Architecture , 1990, IEEE Trans. Computers.
[28] Shan Shan Huang,et al. Liquid Metal: Object-Oriented Programming Across the Hardware/Software Boundary , 2008, ECOOP.
[29] Arvind,et al. From WiFi to WiMAX: Techniques for High-Level IP Reuse across Different OFDM Protocols , 2007, 2007 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2007).
[30] James C. Hoe,et al. Operation-centric hardware description and synthesis , 2004, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
[31] José Meseguer,et al. Verification of microarchitectural refinements in rule-based systems , 2011, Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011).
[32] Edsger W. Dijkstra,et al. Guarded commands, nondeterminacy and formal derivation of programs , 1975, Commun. ACM.
[33] David C. Luckham,et al. Rapide: A Language and Toolset for Causal Event Modeling of Distributed System Architectures , 1998, WWCA.
[34] Arvind,et al. A design flow based on modular refinement , 2010, Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010).
[35] Edward A. Lee,et al. Static Scheduling of Synchronous Data Flow Programs for Digital Signal Processing , 1989, IEEE Transactions on Computers.