10/29/2023 0 Comments Formality synopsysAs you continue to add horsepower to your compute infrastructure, you’re bound to experience definitive performance gains both for reduced turnaround time and better convergence. The stakes are particularly high in safety-sensitive areas such as automotive, medical, and security applications. After all, the goal is to identify bugs faster, uncover deep corner-case bugs, and functionally verify and sign off the block. With formal verification, the more compute resources, the better. Partner Solutions Architect, Semiconductor and EDA, AWS, and Pratik Mahajan, R&D Group Director, Synopsys Formal Verification Solutionsįormal chip design verification has been gaining a lot of traction in recent years due to the ever-increasing challenge of verifying all possible corner-case behaviors, along with greater industry adoption and acknowledgement of its power.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |