Harry Foster, Chief Methodologist, Jasper Design Automation
C. Norris Ip, Senior Architect, Jasper Design Automation

In this paper, we introduce a new methodology in the spirit of Deming's 14 Points, which we call Provably Correct Design. This methodology enables the engineer to design quality in from the start by formally proving fundamental high-level requirements (derived from the micro-architecture specification) during the ASIC and SoC development process. When using our proposed Provably Correct Design methodology, the engineer receives early feedback about the consequences of design decisions and specific evidence of how the design can fail, thus improving the inherent design quality.