HLS verifies artificial intelligence for ADAS in autonomous cars