Tech Talk: Formal Discussion


Pratik Mahajan, senior R&D manager for verification at Synopsys, talks about how to use simulation plus formal verification. [youtube vid=TjO8up0nPGg] » read more

Tech Talk: Formal Practices


[getentity id="22147" comment="Oski Technology"] president and CEO [getperson id="11074" comment="Vigyan Singhal"] defines [getkc id="33" comment="formal verification"], where to start, and how and when to use it. [youtube vid=pxoSWtb4xIw] » read more

Tech Talk: Formal Verification


Praveen Tiwari, senior R&D manager for verification at Synopsys, talks with Semiconductor Engineering about when to use formal verification, why it isn't limited to small parts of the design, how to reduce complexity, bounded proofs, and bug hunting. [youtube vid=v8CoIAWU1XA] » read more

Tech Talk: IP Integration Part 2


Sonics CTO Drew Wingard talks about the challenges of integrating IP into SoCs in this second of two parts. [youtube vid=ipQkPjJMcgY] » read more

Tech Talk: SW vs. HW


Arteris CTO Craig Forest talks about what gets done in hardware, what gets done in software, and where the two worlds meet and sometimes collide. [youtube vid=-EbUTZL0uz8] » read more

Tech Talk: IP Integration


Sonics CTO Drew Wingard talks about the challenges of integrating IP into SoCs and what typically goes wrong. [youtube vid=T1FAPDqIJK8] » read more

Tech Talk: Photonics, Take 2


Mentor Graphics’ John Ferguson explains why light is getting so much attention for inter-chip communications, where it excels, and why it has limitations. This is the second part in a two-part series. [youtube vid=4-5FbxIpIk4] To view part 1, click here. » read more

Tech Talk: The New Cost Per Gate Equation


eSilicon's Javier DeLaCruz talks with Semiconductor Engineering about new types of interposers, why just shrinking features is doomed, and what progress has been made in building 2.5D chips. [youtube vid=akj8r8nNktM] » read more

Tech Talk: Silicon Photonics


Mentor Graphics' John Ferguson explains why light is getting so much attention for inter-chip communications, where it excels, and why it has limitations. This is the first part in a two-part series. [youtube vid=0ydkDmrSrF4] » read more

Tech Talk: Changes In Verification


Roger Hughes, director of strategic accounts at Real Intent, talks about what's changing in verification as design complexity increases and where engineers typically make mistakes. [youtube vid=0SE97LvCilo] » read more

← Older posts Newer posts →