Debugging Inconclusive Assertions

This article from Mentor Graphics describes the flow to debug inconclusive assertions and also some techniques to reduce formal complexity that may result in inconclusive assertions; including fixing incorrect initial state and incorrect constraints, removing complicated design logic by black boxing design module/instance or cutting design signals, and reducing assertion complexity. Read More Find out [...]

2017-12-27T07:38:22+00:0027th December, 2017|Blog, Thought Leadership|

Massively parallel frameworks for in-design verification

In-design verification is needed to shorten design cycles and maximize circuit performance, ensuring physical designs are correct by construction. Physical verification often forces a decision between accuracy and performance for larger designs. Cloud infrastructure needs are pushing the industry towards larger multi-core server architectures and massively parallel computing frameworks. This article explores how these massively [...]

2016-11-11T11:23:01+00:0011th November, 2016|Blog, Thought Leadership|

Verification Choices : Formal, Simulation, Emulation

Gabe Moretti, Senior Editor of Chip design gathers a group of experts from Mentor Graphics, Cadence, One Spin, Oski Technology and Silvaco on the benefits and limitation of formal, logic simulation and hardware emulation/acceleration techniques for design verification. Read More Find out how T&VS Verification Services helps you ensure  how multiple verification engines including simulation, formal, emulation and FPGA [...]

2016-08-02T05:57:48+00:002nd August, 2016|Blog, Thought Leadership|

AMS Model-Based Methodology and Tools for Mixed-Signal Design Verification

Cadence announced that Hitachi, Ltd. has adopted a Cadence® Analog Mixed-Signal (AMS) model-based methodology and tools to shorten the verification cycle for one of its largest mixed-signal design projects. Read More Find out why customers use T&VS software, hardware, IP and services to design and verify advanced semiconductors, consumer electronics, networking and telecommunications equipment, and [...]

2016-06-14T07:54:25+00:0014th June, 2016|Blog, Thought Leadership|