Need help writing magma circuits.

[Arka2BR]

I need to do fault testing on 4 bit Full Adder Circuits. Thing is I have only ever used Verilog for making such circuits. Are there any resources to help in writing magma based circuits that I can follow. I dont quite get the ALU example given in the description.