Synopsys launches autonomous chip agents with 50X faster verification