System Level Design of Reconfigurable Server Farms Using Elliptic Curve Cryptography Processor Engines

Algorithm 1

Two examples of guarded command language.

Example  1.

if 𝑎<𝑏 then 𝑐:= True

Else 𝑐:= False

is translated as

if 𝑎<𝑏 → 𝑐:= True

[]  𝑎≥𝑏→𝑐:= False

Fi

Example  2.

if error = True then 𝑥:= 0

is translated as

if error = True → 𝑥:= 0

[] error = False → skip

fi