Making your products more Reliable, Safe and Secure

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|