SpC: synthesis of pointers in C

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

SpC: synthesis of pointers in C: application of pointer analysis to the behavioral synthesis from C

Full text

Pdf (784 KB)

Source

International Conference on Computer Aided Design archive
Proceedings of the 1998 IEEE/ACM international conference on Computer-aided design table of contents

San Jose, California, United States

Pages: 340 - 346

Year of Publication: 1998

ISBN:1-58113-008-2

Authors

Luc Séméria	Computer System Laboratoy, Stanford University, Stanford, CA
Giovanni De Micheli	Computer System Laboratoy, Stanford University, Stanford, CA

Sponsors

SIGDA: ACM Special Interest Group on Design Automation
IEEE-CS : Computer Society
IEEE-EDS : Electronic Devices Society
IEEE-CAS : Circuits & Systems

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 9, Downloads (12 Months): 20, 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/288548.289051 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	Ivo Bolsens, Hugo J. De Man, Bill Lin, Karl Van Rompaey, Steven Vercauteren, Diederik Verkest, "Hardware/Sofware Co- Design of Digital Telecommunication Systems", Proceedings of the IEEE, Vol 85, No. 3, pp.391-418, March 97.
	2	C.T.Bye, M.R. Lightner and D.L. Ravenscroft, "A Functional Modeling and Simulation Environment based on ESIM and C", Proceeding of the 1984 ICCAD, pp.51-53, November 84.
	3	Giovanni De Micheli, Synthesis and Optimization of Digital Circuits, McGraw-Hill Higher Education, 1994
	4	R. Ernst, J. Henkel, Th. Benner, W. Ye, U. Holtmann, D. Herrmann, and M. Trawny, "The COSYMA Environment for Hardware~Software Cosynthesis of Small Embedded Systems" Microprocessors and Microsystems 20(3),pp.159-166, May 1996.
	5	Brian W. Kernighan , Dennis M. Ritchie, The C programming language, Prentice Hall Press, Upper Saddle River, NJ, 1989
	6	David W. Knapp, Behavioral synthesis: digital system design using the synopsys behavioral compiler, Prentice-Hall, Inc., Upper Saddle River, NJ, 1996
	7	David C. Ku , Giovanni De Micheli, High level synthesis of ASICs under timing and synchronization constraints, Kluwer Academic Publishers, Norwell, MA, 1992
	8	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]
	9	Elliot Linzer, Ephraim Reig, "New Scaled DCTAlgorithmsfor Fused Multiply/Add Architectures", International Conference on Acoustics, Speech, and Signal Processing, Proceedings ICASSP '91, Vols.l-5, pp.2201-2204, 1991.
	10	Steven S. Muchnick, Advanced compiler design and implementation, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1998
	11	Ron Cytron , Reid Gershbein, Efficient accommodation of may-alias information in SSA form, Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation, p.36-45, June 21-25, 1993, Albuquerque, New Mexico, United States
	12	Donald Soderman, Yuri Panchul, "Implementing C Designs in Hardware: A Full-Featured ANSI C to RTL Verilog Compiler in Action", http://www.compilogic.com/
	13	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
	14	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]
	15	Tiziano Villa, Alberto Sangiovanni-Vincentelly, "NOVA: State Assignment of Finite State Machines for Optimal Two-Level Logic Implementation", IEEE Transactions on Computer- Aided Design, Vol. 9, pp.905-924, September 1990.
	16	Robert Paul Wilson , Monica S. Lam, Efficient, context-sensitive pointer analysis for c programs, 1998
	17	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
	18	R.P.Wilson et al. "Suif: An Infrastructure for Research on Parallelizing and Optimizing Compilers", ACM SIPLAN Notices 28(9), pp.67-70, Sept. 1994.

CITED BY 19

	Alex Jones , Debabrata Bagchi , Sartajit Pal , Prith Banerjee , Alok Choudhary, PACT HDL: a compiler targeting ASICS and FPGAS with power and performance optimizations, Power aware computing, Kluwer Academic Publishers, Norwell, MA, 2002
	Alex Jones , Debabrata Bagchi , Satrajit Pal , Xiaoyong Tang , Alok Choudhary , Prith Banerjee, PACT HDL: a C compiler targeting ASICs and FPGAs with power and performance optimizations, Proceedings of the 2002 international conference on Compilers, architecture, and synthesis for embedded systems, October 08-11, 2002, Grenoble, France
	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
	Diederik Verkest , Joachim Kunkel , Frank Schirrmeister, System level design using C++, Proceedings of the conference on Design, automation and test in Europe, p.74-83, March 27-30, 2000, Paris, France
	JoAnn M. Paul , Simon N. Peffers , Donald E. Thomas, A codesign virtual machine for hierarchical, balanced hardware/software system modeling, Proceedings of the 37th conference on Design automation, p.390-395, June 05-09, 2000, Los Angeles, California, United States
	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
	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
	Yichen Xie , Alex Aiken, Context- and path-sensitive memory leak detection, ACM SIGSOFT Software Engineering Notes, v.30 n.5, September 2005
	Martin Palkovic , Henk Corporaal , Francky Catthoor, Global memory optimisation for embedded systems allowed by code duplication, Proceedings of the 2005 workshop on Software and compilers for embedded systems, p.72-79, September 29-October 01, 2005, Dallas, Texas
	Chao Wang , Zijiang Yang , Franjo Ivančić , Aarti Gupta, Disjunctive image computation for software verification, ACM Transactions on Design Automation of Electronic Systems (TODAES), v.12 n.2, p.10-es, April 2007
	Oskar Mencer , Luc Séméria , Martin Morf , Jean-Marc Delosme, Application of Reconfigurable CORDIC Architectures, Journal of VLSI Signal Processing Systems, v.24 n.2-3, p.211-221, Mar. 2000
	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
	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
	F. Balasa , P. G. Kjeldsberg , A. Vandecappelle , M. Palkovic , Q. Hu , H. Zhu , F. Catthoor, Storage Estimation and Design Space Exploration Methodologies for the Memory Management of Signal Processing Applications, Journal of Signal Processing Systems, v.53 n.1-2, p.51-71, November 2008
	Franjo Ivani , Zijiang Yang , Malay K. Ganai , Aarti Gupta , Pranav Ashar, Efficient SAT-based bounded model checking for software verification, Theoretical Computer Science, v.404 n.3, p.256-274, September, 2008
	Greg Stitt , Gaurav Chaudhari , James Coole, Traversal caches: a first step towards FPGA acceleration of pointer-based data structures, Proceedings of the 6th IEEE/ACM/IFIP international conference on Hardware/Software codesign and system synthesis, October 19-24, 2008, Atlanta, GA, USA
	Johan Ditmar , Steve McKeever , Alex Wilson, Area optimisation for field-programmable gate arrays in SystemC hardware compilation, International Journal of Reconfigurable Computing, v.2008 n.2, p.1-14, January 2008
	Zijiang Yang , Chao Wang , Aarti Gupta , Franjo Ivanvčić, Model checking sequential software programs via mixed symbolic analysis, ACM Transactions on Design Automation of Electronic Systems (TODAES), v.14 n.1, p.1-26, January 2009
	Martin Palkovic , Francky Catthoor , Henk Corporaal, Trade-offs in loop transformations, ACM Transactions on Design Automation of Electronic Systems (TODAES), v.14 n.2, p.1-30, March 2009