Exploiting the power of reset in formal verification
The reset state of a design can have a huge impact on the scope and correctness of verification, especially when formal techniques are applied.
Expert Insights
Where tools end and best practices begin
Learn how you can benchmark your design practices against the most successful players in the PCB market - and why you should.
Speeding AMS verification by easing simulation debug and analysis
How to ease AMS verification using tools that improve simulation debug, ease IP integration, and speed design analysis and centering
Hardware emulation answers Brooks’ Law
What can you add to a challenging project without pushing out deadlines and muddling communication?
Reachable or reached, covered or coverable – is it just semantics?
How code coverage and reachability analysis differ between simulation and formal verification techniques, and ways to use that to advantage.
Processor configuration for low-power IoT applications
Many IoT applications have a very strict energy budget. SoC designers targeting the IoT have to trade off providing the features that the market demands with the power budget the applications demand. What are their options?
2016 – A continuation of change
Dr Walden Rhines, Mentor Graphics chairman and CEO, looks forward to the trends that will shape 2016 in the semiconductor industry.
Thought you had verified your SoC? You probably only did half…
Using formal property verification to prove that SoCs can’t do the wrong thing, as well as that they will do the right thing.
2015 – The year in review
Dr Walden Rhines, chairman and CEO of Mentor Graphics, opens a two-part analysis by looking back at the dominant design and business trends in 2015.
Memory BIST for automotive designs
Behind the drivers for memory BIST innovation in areas such as power-on self-test, destructive and non-destructive techniques, and faster memory repair.
PLATINUM SPONSORS
View All Sponsors