have any of the synchronous designs been verified?