Abstract-Dynamiskt fördelade och manipulerade datastrukturer kan inte översättas till hårdvara om det inte finns en övre gräns på mängden minne som programmet använder under alla utföranden. Denna gräns kan bero på de generiska parametrarna till programmet, d.v.s. programingångar som är ögonblickliga vid syntestidpunkten. Vi föreslår en restriktion baserad metod för upptäckt av minnesanvändning gränser, vilket leder till den första kända C-till-gates hårdvarusyntes stödja program med icke-trivial användning av dynamiskt tilldelade minne, t.ex. länkade listor som upprätthålls med malloc och gratis. Vi illustrerar det praktiska i vårt verktyg på en rad exempel.
Dess abstraktionsmekanism används också i C-to-gate hårdvarusyntes REF.
Finding heap-bounds for hardware synthesis
{'venue': '2009 Formal Methods in Computer-Aided Design', 'journal': '2009 Formal Methods in Computer-Aided Design', 'mag_field_of_study': ['Computer Science']}