RTL slashing design and certification time for advanced avionics systems using LDRA tool suite