this examples illustrates a property written in verilog and the same property written in SVA. 
