Formal Confusion

Semiconductor Engineering sat down to discuss the right and wrong ways to apply formal verification technology with Normando Montecillo, associate technical director at [getentity id="22649" comment="Broadcom"]; Ashish Darbari, principal engineer at [getentity id="22709" e_name="Imagination Technologies"]; Roger Sabbagh, principal engineer at Huawei; and Stuart Hoad, lead engineer at PMC Sierra... » read more

Formal Confusion

Formal verification has come a long way in the past five years. Tool developers changed direction and started to create self-contained apps which have led to a rapid proliferation of the technology. But formal is a diverse set of tools that can solve a variety of problems in the verification space and this has created a different kind of confusion within the industry. To find out how the indust... » read more

Consolidation’s Aftermath

The recent spate of industry consolidation continues to have repercussions across the semiconductor industry. Some of those effects will subside once the deals are either approved or nixed by regulatory agencies. Others will raise questions for months or years to come. Consolidation is not a new trend in the semiconductor industry, but the pace and size of the acquisitions in the past year a... » read more

The Week In Review: Manufacturing

At one time, China’s Xiaomi was a high-flying smartphone vendor. The privately-held company had a market capitalization of $45 billion. But the bottom has fallen out of the company amid share losses. “By early 2015, it was clear that problems were emerging as growth ground to a halt and nothing that Xiaomi has done since has been able to re-start it. Xiaomi has ground to halt because there ... » read more

The Week In Review: Manufacturing

In a major and surprising move in the fab tool business, Lam Research has entered into a definitive agreement to acquire KLA-Tencor for about $10.6 billion in cash and stock. "Lam Research and KLA-Tencor have been working to tie together process and process control in an effort to expand process windows and better enable complex production steps, like multi-patterning. This acquisition form... » read more

Top 15 Integrating Points In The Continuum Of Verification Engines

The integration game between the different verification engines, dynamic and static, is in full swing. Jim Hogan talked about the dynamic engines that he dubbed “COVE”, and I recently pointed out a very specific adoption of COVE in my review of some customer examples at DAC 2015 in “Use Model Versatility Is Key for Emulation Returns on Investment”. Here are my top 15 integrating poin... » read more

The Week In Review: Manufacturing

Suppliers in the automotive semiconductor market experienced exceptional growth in 2014, according to IHS. Based on final analysis of the 2014 results, Renesas maintained its leadership position as the number one supplier in 2014, according to the rankings. “For 2015, IHS expects to see a shift among the leading suppliers in this category, given the recent merger of Freescale and NXP, two lar... » read more

The Week In Review: Design/IoT

Mergers/Acquisitions Lattice Semiconductor agreed to pay $600 million for Silicon Image, which makes connectivity solutions for high-definition content for mobile and consumer electronics. Lattice already makes programmable connectivity solutions, so the combined IP portfolio is expected to strengthen its position in wired and wireless markets. Tools Cadence expanded the tool portfolio it ... » read more

Tech Talk: Cloud Power

PMC distinguished engineer Kenneth Wagner talks about the need for conserving energy in the data center as well as mobile device, and what are the best ways to accomplish that. The video was shot at the Cadence Low Power Summit. [youtube vid=tXx8-qX4vm4] » read more