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

Listing 7

Function for merging two control flows.

𝚖𝚎𝚛𝚐𝚎𝚝𝚠𝚘∶𝚝𝚛𝚒𝚙𝚕𝚎−>𝚝𝚛𝚒𝚙𝚕𝚎−>𝚝𝚛𝚒𝚙𝚕𝚎

𝚖𝚎𝚛𝚐𝚎𝚝𝚠𝚘(𝚛𝟷,𝚠𝟷,𝚛𝚠𝟷)(𝚛𝟸,𝚠𝟸,𝚛𝚠𝟸)=(𝚏𝚛,𝚏𝚠,𝚏𝚛𝚠)

   𝚠𝚑𝚎𝚛𝚎(𝚛𝟷𝚛𝟸,𝚛𝟷^′,𝚛𝟸^′)=𝚌𝚘𝚖𝚋𝚒𝚗𝚎𝚛𝟷𝚛𝟸

   (𝚠𝟷𝚠𝟸,𝚠𝟷^′,𝚠𝟸^′)=𝚌𝚘𝚖𝚋𝚒𝚗𝚎𝚠𝟷𝚠𝟸

   (𝚛𝚠𝟷𝚛𝚠𝟸,𝚛𝚠𝟷^′,𝚛𝚠𝟸^′)=𝚌𝚘𝚖𝚋𝚒𝚗𝚎𝚛𝚠𝟷𝚛𝚠𝟸

   (𝚛𝟷𝚛𝚠𝟸,𝚛𝟷^′′,𝚛𝚠𝟸^′′)=𝚌𝚘𝚖𝚋𝚒𝚗𝚎𝚛𝟷^′,𝚛𝚠𝟸^′

   (𝚠𝟷𝚛𝚠𝟸,𝚠𝟷^′′,𝚏𝚛𝚠𝟸)=𝚌𝚘𝚖𝚋𝚒𝚗𝚎𝚠𝟷^′,𝚛𝚠𝟸^′′

   (𝚛𝚠𝟷𝚛𝟸,𝚛𝚠𝟷^′′,𝚛𝟸^′′)=𝚌𝚘𝚖𝚋𝚒𝚗𝚎𝚛𝚠𝟷^′,𝚛𝟷^′′

   (𝚛𝚠𝟷𝚠𝟸,𝚏𝚛𝚠𝟷,𝚠𝟸^′′)=𝚌𝚘𝚖𝚋𝚒𝚗𝚎𝚛𝚠𝟷^′′,𝚠𝟷^′′

   (𝚛𝟷𝚠𝟸,𝚏𝚛𝟷,𝚏𝚠𝟸)=𝚌𝚘𝚖𝚋𝚒𝚗𝚎𝚛𝟷^′′,𝚠𝟸^′′

   (𝚠𝟷𝚛𝟸,𝚏𝚠𝟷,𝚏𝚛𝟸)=𝚌𝚘𝚖𝚋𝚒𝚗𝚎𝚠𝟷^′′,𝚛𝟸^′′

   −𝚝𝚊𝚔𝚎𝚜𝚎𝚝𝚜𝚘𝚏𝚊𝚌𝚌𝚎𝚜𝚜𝚎𝚜𝚏𝚛𝚘𝚖𝚝𝚠𝚘𝚕𝚒𝚜𝚝𝚜

   −𝚡𝚜𝚊𝚗𝚍𝚢𝚜𝚊𝚗𝚍𝚌𝚘𝚖𝚋𝚒𝚗𝚎𝚝𝚑𝚎𝚖𝚒𝚗𝚝𝚘𝚣𝚠

   𝚌𝚘𝚖𝚋𝚒𝚗𝚎𝚡𝚜𝚢𝚜=(𝚣𝚠,𝚍𝚛𝚘𝚙𝚗𝚡𝚜,𝚍𝚛𝚘𝚙𝚗𝚢𝚜)

      𝚠𝚑𝚎𝚛𝚎𝚣𝚠=𝚣𝚒𝚙𝚠𝚒𝚝𝚑(∪)𝚡𝚜𝚢𝚜

      𝚗=𝚕𝚎𝚗𝚐𝚝𝚑𝚣𝚠

   −𝚝𝚑𝚎𝚖𝚎𝚛𝚐𝚎𝚍𝚝𝚛𝚒𝚙𝚕𝚎𝚒𝚜𝚌𝚛𝚎𝚊𝚝𝚎𝚍𝚏𝚛𝚘𝚖𝚝𝚑𝚎

   −𝚌𝚘𝚖𝚋𝚒𝚗𝚎𝚍𝚜𝚎𝚝𝚜𝚙𝚕𝚞𝚜𝚊𝚗𝚢𝚛𝚎𝚖𝚊𝚒𝚗𝚒𝚗𝚐𝚜𝚎𝚝𝚜

   𝚏𝚛=𝚛𝟷𝚛𝟸++𝚏𝚛𝟷++𝚏𝚛𝟸

   𝚏𝚠=𝚠𝟷𝚠𝟸++𝚏𝚠𝟷++𝚏𝚠𝟸

   𝚏𝚛𝚠=𝚛𝚠𝟷𝚛𝚠𝟸++𝚛𝟷𝚛𝚠𝟸++𝚠𝟷𝚛𝚠𝟸++

      𝚛𝚠𝟷𝚛𝟸++𝚛𝚠𝟷𝚠𝟸++𝚛𝟷𝚠𝟸++

      𝚠𝟷𝚛𝟸++𝚏𝚛𝚠𝟷++𝚏𝚛𝚠𝟸