Resolution of dynamic memory allocation and pointers for the behavioral synthesis form C

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Resolution of dynamic memory allocation and pointers for the behavioral synthesis form C

Full text

Publisher Site , Pdf

Pdf (87 KB)

Source

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

Paris, France

Pages: 312 - 319

Year of Publication: 2000

ISBN:1-58113-244-1

Authors

Luc Séméria	Computer Systems Laboratory, Stanford University
Koichi Sato	Computer Systems Laboratory, Stanford University
Giovanni De Micheli	Computer Systems Laboratory, Stanford University

Sponsors

EDAA : European Design Automation Association
SIGDA: ACM Special Interest Group on Design Automation
ECSI :
RAS : RAS
EDAC : Electronic Design Automation Consortium
IEEE-CS : Computer Society
IFIP : International Federation for Information Processing

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 18, Downloads (12 Months): 34, Citation Count: 5

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/343647.343788 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	C Level Design, C2HDL, http://www.cleveldesign.com/
	2	CoWare, N2C, http://www.coware.com/
	3	Frontier Design, Alrt Builder, http://www.frontierd.com/
	4	Silicon Access, DRAMatic, http://www.siliconaccess.com/
	5	Synopsys tools, http://www.synopsys.com/
	6	SystemC, http://www.systemc.org/
	7	Francky Catthoor, Sven Wuytack, Eddy De Greef, Florin Balasa, Lode Nachtergaele, Arnout Vandecappelle, "Custom Memo17 Management Methodology," Kluwer Academic Publishers, Dordrecht, June 98.
	8	Alain Deutsch, Interprocedural may-alias analysis for pointers: beyond k-limiting, Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation, p.230-241, June 20-24, 1994, Orlando, Florida, United States
	9	Rakesh Ghiya , Laurie J. Hendren, Is it a tree, a DAG, or a cyclic graph? A shape analysis for heap-directed pointers in C, Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.1-15, January 21-24, 1996, St. Petersburg Beach, Florida, United States [doi>10.1145/237721.237724]
	10	Abhijit Ghosh , Joachim Kunkel , Stan Liao, Hardware synthesis from C/C++, Proceedings of the conference on Design, automation and test in Europe, p.82-es, January 1999, Munich, Germany [doi>10.1145/307418.307529]
	11	H. Keding , M. Willems , M. Coors , H. Meyr, FRIDGE: a fixed-point design and simulation environment, Proceedings of the conference on Design, automation and test in Europe, p.429-435, February 23-26, 1998, Le Palais des Congrés de Paris, France
	12	Brian W. Kernighan , Dennis M. Ritchie, The C programming language, Prentice Hall Press, Upper Saddle River, NJ, 1989
	13	Giovanni De Micheli, Hardware synthesis from C/C++ models, Proceedings of the conference on Design, automation and test in Europe, p.80-es, January 1999, Munich, Germany [doi>10.1145/307418.307527]
	14	Preeti Ranjan Panda , Alexandru Nicolau , Nikil Dutt, Memory Issues in Embedded Systems-on-Chip: Optimizations and Exploration, Kluwer Academic Publishers, Norwell, MA, 1998
	15	P. J. Plauger, The standard C library, Prentice-Hall, Inc., Upper Saddle River, NJ, 1992
	16	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]
	17	Luc S6m6ria, Giovanni De Micheli, "Encoding of Pointers for Hardware Synthesis," proceedings of the International Workshop on IP-based Synthesis and System Design IWLAS'98, pp 57-63, Grenoble, December 98.
	18	Bjarne Steensgaard, Points-to Analysis by Type Inference of Programs with Structures and Unions, Proceedings of the 6th International Conference on Compiler Construction, p.136-150, April 24-26, 1996
	19	Kazutoshi Wakabayashi, C-based synthesis experiences with a behavior synthesizer, “cyber”, Proceedings of the conference on Design, automation and test in Europe, p.83-es, January 1999, Munich, Germany [doi>10.1145/307418.307530]
	20	Robert Paul Wilson , Monica S. Lam, Efficient, context-sensitive pointer analysis for c programs, 1998
	21	Robert P. Wilson , Monica S. Lam, Efficient context-sensitive pointer analysis for C programs, Proceedings of the ACM SIGPLAN 1995 conference on Programming language design and implementation, p.1-12, June 18-21, 1995, La Jolla, California, United States
	22	R.EWilson et al. "Suif: An Infrastructure for Research on Parallelizing and Optimizing Compilers", ACM SIPLAN Notices 28(9), pp.67-70, Sept. 1994.
	23	Paul R. Wilson , Mark S. Johnstone , Michael Neely , David Boles, Dynamic Storage Allocation: A Survey and Critical Review, Proceedings of the International Workshop on Memory Management, p.1-116, September 27-29, 1995
	24	Sven Wuytack, Francky Catthoor, Hugo De Man, "Transforming set data types to power optimal data stuctures," IEEE Tansactions on Computer Aided Design, pp. 619-629, June 1996.
	25	Sven Wuytack, Julio da Silva Jr., Francky Catthoor, Gjalt de Jong, Chantal Ykman, "Memory Management for Embedded Network Applications," transactions on Computer Aided Design, Volume 18, number 5, pp 533-544, May 99.

CITED BY 5

	P. R. Panda , F. Catthoor , N. D. Dutt , K. Danckaert , E. Brockmeyer , C. Kulkarni , A. Vandercappelle , P. G. Kjeldsberg, Data and memory optimization techniques for embedded systems, ACM Transactions on Design Automation of Electronic Systems (TODAES), v.6 n.2, p.149-206, April 2001
	D. Ziegenbein , F. Wolf , K. Richter , M. Jersak , R. Ernst, Interval-Based Analysis of Software Processes, ACM SIGPLAN Notices, v.36 n.8, p.94-101, Aug. 2001
	Preeti Ranjan Panda , Luc Semeria , Giovanni de Micheli, Cache-efficient memory layout of aggregate data structures, Proceedings of the 14th international symposium on Systems synthesis, September 30-October 03, 2001, Montréal, P.Q., Canada
	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
	Alexandros Bartzas , Stylianos Mamagkakis , Georgios Pouiklis , David Atienza , Francky Catthoor , Dimitrios Soudris , Antonios Thanailakis, Dynamic data type refinement methodology for systematic performance-energy design exploration of network applications, Proceedings of the conference on Design, automation and test in Europe: Proceedings, March 06-10, 2006, Munich, Germany