Auto-Generation Of Properties: Methodology Insertion

Key Takeaways: While AI can write properties from a specification, the specifications that exist today are rarely good enough to be able to generate anything useful from them. Automatic generation of properties does not reduce the need for people who are fluent in the language, or the application of formal tools. Introduction into a methodology will probably be different for each company today, with no well-proven methodologies to learn from. A top-down semiconductor development flow has long be