News Edaptive Computing and OneSpin launch formal verification certification program 9th October 2020