Area Optimisation for Field-Programmable Gate Arrays in SystemC Hardware Compilation

Listing 6

Memory access analysis algorithm

𝙰𝚜𝚜𝚒𝚐𝚗(𝙲𝙵𝙶)

{

 𝚛𝚎𝚜𝚞𝚕𝚝∶=∅

 𝚏𝚘𝚛𝚎𝚊𝚌𝚑𝚐∈𝚜𝚞𝚋𝙳𝙰𝙶𝚜(𝙲𝙵𝙶)

 {

  𝚊𝚌𝚌𝚎𝚜𝚜𝚎𝚜∶=∅

  𝚏𝚘𝚛𝚎𝚊𝚌𝚑𝚋𝚕𝚔∈𝚝𝚘𝚙𝚜𝚘𝚛𝚝(basic blocks in 𝑔)

  {

   //𝚖𝚎𝚛𝚐𝚎𝚌𝚘𝚗𝚝𝚛𝚘𝚕𝚏𝚕𝚘𝚠𝚜𝚒𝚗𝚝𝚘𝚋𝚕𝚔

   𝚖𝚎𝚛𝚐𝚎𝚍∶=𝚖𝚎𝚛𝚐𝚎{𝚊𝚌𝚌𝚎𝚜𝚜𝚎𝚜[𝚋]∣𝚋∈𝚙𝚛𝚎𝚍[𝚋𝚕𝚔]}

   //𝚊𝚍𝚍𝚝𝚑𝚎𝚎𝚏𝚏𝚎𝚌𝚝𝚘𝚏𝚊𝚖𝚎𝚖𝚘𝚛𝚢𝚊𝚌𝚌𝚎𝚜𝚜𝚒𝚗𝚋𝚕𝚔

   𝚊𝚌𝚌𝚎𝚜𝚜𝚎𝚜[𝚋𝚕𝚔]∶=𝚎𝚏𝚏𝚎𝚌𝚝𝚋𝚕𝚔𝚖𝚎𝚛𝚐𝚎𝚍

  }

  𝚛𝚎𝚜𝚞𝚕𝚝[𝚐]∶=𝚖𝚎𝚛𝚐𝚎{𝚊𝚌𝚌𝚎𝚜𝚜𝚎𝚜[𝚋]∣𝚜𝚞𝚌𝚌[𝚋]=∅}

 }

 𝚛𝚎𝚝𝚞𝚛𝚗𝚛𝚎𝚜𝚞𝚕𝚝

}