Title: Application of formal methods to digital system design