%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%% LIP6 % HPC @InProceedings{hpc06a, author = {{M.B. Gokhale and al.}}, title = {{Promises and Pitfalls of Reconfigurable}}, booktitle = {Systems and Algorithms, CSREA Press}, pages = {11-20}, year = {2006}, } @MISC{hpc06b, author = {{D. Buell}}, title = {{Programming Reconfigurable Computers}}, booktitle = {Summer Institute}, howpublished = {http://gladiator.ncsa.uiuc.edu/PDFs/rssi06/presentations/00\_Duncan\_Buell.pdf}, year = {2006}, } @InProceedings{hpc07a, author = {{T. Van Court and al.}}, title = {{ Achieving High Performance with FPGA-Based Computing}}, booktitle = {Computer, vol. 40, no. 3}, pages = {50-57}, month = {mars}, year = {2007}, } % System design @misc{soclib, title = {Soclib}, howpublished = {http://www.soclib.fr/}, year = {2009}, } @misc{system-generateur-for-dsp, title = {{System Generator for DSP}}, howpublished = {http://www.xilinx.com/tools/sysgen.htm}, year = {2009}, } @misc{spoc-builder, title = {{sopc builder support}}, howpublished = {http://www.altera.com/support/software/system/sopc/sof-sopc\_builder.html}, year = {2009}, } @InProceedings{disydent05, author = {{Ivan Aug\'{e}, Fr\'{e}d\'{e}ric P\'{e}trot, François Donnet and Pascal Gomez}}, title = {{Platform-based design from parallel C specifications}}, booktitle = {IEEE Transaction on CAD of Integrated Circuits and Systems}, pages = {1811--1826}, month = {December}, year = {2005}, } % HLS % http://mesl.ucsd.edu/spark/index.shtml @BOOK{spark04, author = {S. Gupta and al.}, title = {SPARK: A Parallelizing Approach to the High-Level Synthesis of Digital Circuits}, publisher = {Springer}, year = {2004}, } @INBOOK{gaut08, author = {P. Coussy and al.}, title = {GAUT: A High-Level Synthesis Tool for DSP applications}, booktitle = {High-Level Synthesis: From Algorithm to Digital Circuits}, publisher = {Springer}, year = {2008}, } @INBOOK{ugh08, author = {Ivan Aug\'{e} and Fr\'{e}d\'{e}ric P\'{e}trot}, title = {User Guided High Level Synthesis}, booktitle = {High-Level Synthesis: From Algorithm to Digital Circuits}, publisher = {Springer}, chapter = {10}, year = {2008}, } @misc{pico, title = {{PICO}}, howpublished = {http://www.synfora.com/}, year = {2009}, } @misc{catapult-c, title = {{CATAPULT-C Mentor HLS tool}}, howpublished = {http://www.mentor.com/products/esl/high\_level\_synthesis/}, year = {2009}, } @misc{cynthetizer, title = {{Forte's CYNTHESIZER}}, howpublished = {http://www.forteds.com/}, year = {2009}, } %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%% IRISA @InProceedings{KluterCodes08, author = {{Theo Kluter and Philip Brisk and Paolo Ienne and and Edoardo Charbon}}, title = {{Speculative DMA for Architecturally Visible Storage in Instruction Set Extensions}}, booktitle = {ISSS/CODES}, year = {2008}, } @InProceedings{KluterDAC09, author = {{Theo Kluter and Philip Brisk and Paolo Ienne and and Edoardo Charbon}}, title = {{Way Stealing : Cache-assisted Automatic Instruction Set Extensions}}, booktitle = {Design Automation Conference (DAC)}, year = {2009}, } @InProceedings{YuCodes04, author = {{Pan Yu and Tulika Mitra}}, title = {{Scalable Custom Instructions Identification for Instruction Set Extensible Processors}}, booktitle = {ISSS/CODES}, year = {2004}, } @InProceedings{Dinh08, author = {{Quang Dinh and Deming Chen and Martin D.~F.~Wong}}, title = {{Efficient ASIP Design for Configurable Processors with Fine-Grained Resource Sharing}}, booktitle = {ACM Internatibnal Conference Field Programmable Gate Arrays (FPGA)}, year = {2008}, } @Misc{NIOS2UG, title = {{Nios II Custom Instruction User Guide, Altera Corp.}}, year = {2008}, } %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% CITI @book{Polis, author = {Balarin, Felice}, publisher = {Kluwer Academic Publishers}, title = {Hardware-software co-design of embedded systems : the POLIS approach}, year = {1997} } @INPROCEEDINGS{Coware, author = {Ivo Bolsens and Hugo J. De Man and Bill Lin and Karl Van Rompaey and Steven Vercauteren and Diederik Verkest}, title = {Hardware/Software Co-Design of Digital Telecommunication Systems}, booktitle = {Proceedings of the IEEE}, year = {1997}, pages = {391--418} } @article{Jantsch, author = {Mattias O'Nil and Axel Jantsch}, title = {Device Driver and DMA Controller Synthesis from HW/SW Communication protocol specifications}, journal = {Design Automation for Embedded Systems}, year = {2001}, volume = {6}, pages = {177-205} } @InProceedings{Park01, author = {Joonseok Park and Pedro C.~Diniz}, title = {Synthesis of Pipelined Memory Access Controllers for Streamed Data Applications on {FPGA}-Based Computing Engines}, booktitle = {International Symposium on System Synthesis (ISSS)}, pages = {221-226}, year = {2001}, } @article{FR-vlsi, author = {Antoine Fraboulet and Tanguy Risset}, title = {Master Interface for On-Chip Hardware Accelerator Burst Communications}, journal = {Journal of VLSI Signal Processing}, publisher = {Springer Science}, year = {2007}, volume = {59}, pages = {73-85} } @InProceedings{jerraya, author = {Sungjoo Yoo and Jerraya Ahmed}, title = {Introduction to Hardware Abstraction Layers for SoC}, OPTcrossref = {}, OPTkey = {}, booktitle = {Design, Automation and Test in Europe Conference and Exhibition}, pages = {336 -- 337}, year = 2003, OPTeditor = {}, OPTvolume = {}, OPTnumber = {}, OPTseries = {}, OPTaddress = {}, OPTmonth = {}, OPTorganization = {}, OPTpublisher = {}, OPTnote = {}, OPTannote = {} } @INPROCEEDINGS{FAUST, author = {D. Lattard and E. Beigne and C. Bernard and C. Bour and F. Clermidy and Y. Durand and J. Durupt and D. Varreau and P. Vivet and P. Penard and A. Bouttier and F. Berens}, title = "A Telecom Baseband Circuit-Based on an Asynchronous Network-on-Chip", pages = {}, BOOKTITLE="ISSCC\'2007", year = {2007}, publisher = {IEEE Computer Society}, address = {San Francisco, USA}, }; @inproceedings{JerrayaPetrot, author = {Ahmed A. Jerraya and Aimen Bouchhima and Fr\'{e}d\'{e}ric P\'{e}trot}, title = {Programming models and HW-SW interfaces abstraction for multi-processor SoC}, booktitle = {DAC '06: Proceedings of the 43rd annual conference on Design automation}, year = {2006}, isbn = {1-59593-381-6}, pages = {280--285}, location = {San Francisco, CA, USA}, publisher = {ACM}, address = {New York, NY, USA}, } @inproceedings{mwmr, author = {E. Faure and A. Greiner and D. Genius}, title = {A generic hardware/software communication mechanism for Multi-Processor System on Chip, Targeting Telecommunication Applications}, booktitle = {ReCoSoC'06}, year = {2006}, pages = {237--242}, address = {Montpellier, France} } @inproceedings{Alberto, author = {Roberto Passerone and James A. Rowson and Alberto L. Sangiovanni-Vincentelli}, title = {Automatic Synthesis of Interfaces Between Incompatible Protocols}, booktitle = {DAC}, year = {1998}, pages = {8-13} } @article{Avnit, author = {Karin Avnit and Vijay D'Silva and Arcot Sowmya and S. Ramesh and Sri Parameswaran}, title = {Provably correct on-chip communication: A formal approach to automatic protocol converter synthesis}, journal = {ACM Trans. Design Autom. Electr. Syst.}, volume = {14}, number = {2}, year = {2009} } @inproceedings{smith, author = {James Smith and Giovanni De Micheli}, title = {Automated Composition of Hardware Components}, booktitle = {DAC}, year = {1998}, pages = {14-19} } @inproceedings{Narayan, author = {Sanjiv Narayan and Daniel Gajski}, title = {Interfacing Incompatible Protocols Using Interface Process Generation}, booktitle = {DAC}, year = {1995}, pages = {468-473} } @TECHREPORT{Ptolemy, AUTHOR = { E.A. Lee et al.}, INSTITUTION = {University of California, Berkeley}, NUMBER = {UCB/ERL No. M99/37}, TITLE = {Overview of the Ptolemy Project}, YEAR = {1999}, MONTH = {july} }