Doulos KnowHow Tip - Underconstraining Vs Overconstraining Your Design

In this Doulos KnowHow tip, Doulos Founder and Technical Fellow John Aynsley takes a look at the issue of underconstraining versus overconstraining the design, one of the key concepts you need to know about in order to use formal effectively. John walks through an example using Synopsys VC formal tool, then looks at things that are likely to go wrong when getting to grips with Formal and how to solve some of them. This is an excerpt from the Doulos ON-DEMAND webinar "Formal Verification for Non-Specialists" which you can view in full by registering here: https://www.doulos.com/events/on-demand/formal-verification-for-non-specialists/?source=youtube Doulos provides scheduled classes online and in-person & delivers on-site team-based training & interactive online learning events worldwide – you can find out the very latest on our website: https://www.doulos.com POPULAR FORMAL TRAINING Essential Formal Verification: https://bit.ly/4d74MFU NEW MODULES!! Advanced Formal Verification: https://bit.ly/3w2XIt5 To enquire about training for you, or for your team: https://bit.ly/4bPuttj Subscribe to our channel, @DoulosTraining, for more: - Introductory videos to range of our most popular training topics – System Verilog, UVM, SystemC & TLM-2.0, VHDL, Python & Deep Learning, & Arm. - Answers to common questions & “how to’s ”. - Our latest live & on-demand webinars (& joining links). Subscribe (and set your notifications): https://bit.ly/3MYWzsk Follow us on Twitter: @DoulosTraining Follow us on LinkedIn: https://uk.linkedin.com/company/doulos-ltd #DoulosTraining #Doulosondemand #Formal #FormalVerification #Verification