 In particular, trace semantics were updated to address parallel instruction execution and data transfers.ARM makes an effort to promote recommended Verilog coding styles and techniques.This ensures semantically rigorous designs, preserving identical semantics throughout the chip design flow, which included extensive use of formal verification techniques.