Hardware synthesis from C/C++ models

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Hardware synthesis from C/C++ models

Full text

Pdf (25 KB)

Source

Design, Automation, and Test in Europe archive
Proceedings of the conference on Design, automation and test in Europe table of contents

Munich, Germany

Article No. 80

Year of Publication: 1999

ISBN:1-58113-121-6

Author

Giovanni De Micheli

Stanford University, Stanford, CA

Sponsor

SIGDA: ACM Special Interest Group on Design Automation

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 10, Downloads (12 Months): 40, Citation Count: 19

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/307418.307527 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	[1] A. Cataldo, "NEC spins C variant to ease Logic synthesis," EE Times, July 10, 1998.
	2	Francky Catthoor , Eddy de Greef , Sven Suytack, Custom Memory Management Methodology: Exploration of Memory Organisation for Embedded Multimedia System Design, Kluwer Academic Publishers, Norwell, MA, 1998
	3	Rolf Ernst , Jorg Henkel , Thomas Benner, Hardware-Software Cosynthesis for Microcontrollers, IEEE Design & Test, v.10 n.4, p.64-75, October 1993 [doi>10.1109/54.245964]
	4	David C. Ku , Giovanni De Micheli, High level synthesis of ASICs under timing and synchronization constraints, Kluwer Academic Publishers, Norwell, MA, 1992
	5	Stan Liao , Steve Tjiang , Rajesh Gupta, An efficient implementation of reactivity for modeling hardware in the scenic design environment, Proceedings of the 34th annual conference on Design automation, p.70-75, June 09-13, 1997, Anaheim, California, United States [doi>10.1145/266021.266037]
	6	Patrick Schaumont , Serge Vernalde , Luc Rijnders , Marc Engels , Ivo Bolsens, A programming environment for the design of complex high speed ASICs, Proceedings of the 35th annual conference on Design automation, p.315-320, June 15-19, 1998, San Francisco, California, United States [doi>10.1145/277044.277135]
	7	Luc Séméria , Giovanni De Micheli, SpC: synthesis of pointers in C: application of pointer analysis to the behavioral synthesis from C, Proceedings of the 1998 IEEE/ACM international conference on Computer-aided design, p.340-346, November 08-12, 1998, San Jose, California, United States [doi>10.1145/288548.289051]
	8	Charles E. Stroud , Ronald R. Munoz , David A. Pierce, Behavioral Model Synthesis with Cones, IEEE Design & Test, v.5 n.3, p.22-30, May 1988 [doi>10.1109/54.7960]
	9	[9] www.frontierd.com/artbuilder.htm
	10	[10] www.compilogic.com/c2v.htm
	11	[11] www.coware.com/n2c.html

CITED BY 19

	Malay Haldar , Anshuman Nayak , Alok Choudhary , Prith Banerjee, Automated synthesis of pipelined designs on FPGAs for signal and image processing applications described in MATLAB, Proceedings of the 2001 conference on Asia South Pacific design automation, p.645-648, January 2001, Yokohama, Japan
	J. Zhu, Static memory allocation by pointer analysis and coloring, Proceedings of the conference on Design, automation and test in Europe, p.785-790, March 2001, Munich, Germany
	Luc Séméria , Abhijit Ghosh, Methodology for hardware/software co-verification in C/C++ (short paper), Proceedings of the 2000 conference on Asia South Pacific design automation, p.405-408, January 2000, Yokohama, Japan
	Frederic Doucet , Rajesh Gupta , Masato Otsuka , Patrick Schaumont , Sandeep Shukla, Interoperability as a design issue in C++ based modeling environments, Proceedings of the 14th international symposium on Systems synthesis, September 30-October 03, 2001, Montréal, P.Q., Canada
	Malay Haldar , Anshuman Nayak , Alok Choudhary , Prith Banerjee, A system for synthesizing optimized FPGA hardware from MATLAB, Proceedings of the 2001 IEEE/ACM international conference on Computer-aided design, November 04-08, 2001, San Jose, California
	Jianwen Zhu, Towards scalable flow and context sensitive pointer analysis, Proceedings of the 42nd annual conference on Design automation, June 13-17, 2005, San Diego, California, USA
	Luc Séméria , Koichi Sato , Giovanni De Micheli, Resolution of dynamic memory allocation and pointers for the behavioral synthesis form C, Proceedings of the conference on Design, automation and test in Europe, p.312-319, March 27-30, 2000, Paris, France
	Mihai Budiu , Girish Venkataramani , Tiberiu Chelcea , Seth Copen Goldstein, Spatial computation, ACM SIGARCH Computer Architecture News, v.32 n.5, December 2004
	Luc Séméria , Koichi Sato , Giovanni De Micheli, Synthesis of hardware models in C with pointers and complex data structures, IEEE Transactions on Very Large Scale Integration (VLSI) Systems, v.9 n.6, p.743-756, 12/1/2001
	Luca Benini , Davide Bertozzi , Davide Bruni , Nicola Drago , Franco Fummi , Massimo Poncino, SystemC Cosimulation and Emulation of Multiprocessor SoC Designs, Computer, v.36 n.4, p.53-59, April 2003
	Luca Benini , Davide Bertozzi , Alessandro Bogliolo , Francesco Menichelli , Mauro Olivieri, MPARM: Exploring the Multi-Processor SoC Design Space with SystemC, Journal of VLSI Signal Processing Systems, v.41 n.2, p.169-182, September 2005
	Fadi Zaraket , Adnan Aziz , Sarfraz Khurshid, Sequential circuits for program analysis, Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering, November 05-09, 2007, Atlanta, Georgia, USA
	Philip Garcia , Katherine Compton , Michael Schulte , Emily Blem , Wenyin Fu, An overview of reconfigurable hardware in embedded systems, EURASIP Journal on Embedded Systems, v.2006 n.1, p.13-13, January 2006
	Nacer-Eddine Zergainoh , Ludovic Tambour , Pascal Urard , Ahmed Amine Jerraya, Macrocell builder: IP-block-based design environment for high-throughput VLSI dedicated digital signal processing systems, EURASIP Journal on Applied Signal Processing, v.2006 n.1, p.65-65, 01 January
	Fadi Zaraket , Adnan Aziz , Sarfraz Khurshid, Sequential Circuits for Relational Analysis, Proceedings of the 29th International Conference on Software Engineering, p.13-22, May 20-26, 2007
	Stephen A. Edwards, The Challenges of Hardware Synthesis from C-Like Languages, Proceedings of the conference on Design, Automation and Test in Europe, p.66-67, March 07-11, 2005
	Franco Fummi , Stefano Martini , Giovanni Perbellini , Massimo Poncino, Native ISS-SystemC Integration for the Co-Simulation of Multi-Processor SoC, Proceedings of the conference on Design, automation and test in Europe, p.10564, February 16-20, 2004
	Nikolaos Bellas , Sek M. Chai , Malcolm Dwyer , Dan Linzmeier, Mapping streaming architectures on reconfigurable platforms, ACM SIGARCH Computer Architecture News, v.35 n.3, June 2007
	Stephen A. Edwards, The Challenges of Synthesizing Hardware from C-Like Languages, IEEE Design & Test, v.23 n.5, p.375-386, September 2006