IEEE - Institute of Electrical and Electronics Engineers, Inc. - Finding heap-bounds for hardware synthesis

2009 Formal Methods in Computer-Aided Design (FMCAD)

Author(s): Cook, B. ; Gupta, A. ; Magill, S. ; Rybalchenko, A. ; Simsa, J. ; Singh, S. ; Vafeiadis, V.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 November 2009
Conference Location: Austin, TX, USA, USA
Conference Date: 15 November 2009
Page(s): 205 - 212
ISBN (CD): 978-1-4244-4966-8
DOI: 10.1109/FMCAD.2009.5351120
Regular:

Dynamically allocated and manipulated data structures cannot be translated into hardware unless there is an upper bound on the amount of memory the program uses during all executions. This bound... View More

Advertisement