The Case For FPGA Equivalence Checking


Formal Equivalence Checking (EC) has become a standard part of the ASIC development flow, replacing almost all gate level simulation with a rigorous consistency check between pre- and post-synthesized code. In the Field Programmable Gate Array (FPGA) space, EC is still a relatively new concept, but is rapidly becoming important given the large devices being employed today. For the largest FP... » read more

Blog Review: May 5


Arm's William Wang considers how to increase the performance and programmability of persistent applications through using battery to protect the on-chip volatile cache hierarchy. Cadence's Paul McLellan finds that ransomware is getting more sophisticated, and more difficult to eradicate and defend against, with potentially life-threatening consequences. Synopsys' Jonathan Knudsen digs int... » read more

Week In Review: Design, Low Power


IP, FPGA, Tools Arm released new details on its new Neoverse N2 and Neoverse V1 platforms. A range of companies announced they will be using the platforms, including Marvell and SiPearl. Aimed at server and HPC workloads, Neoverse V1 uses wider and deeper pipelines compared to the N1 and supports a 2x256bit wide vector unit executing the Scalable Vector Extension (SVE) instructions with sup... » read more

Roadblocks For ML in EDA


Is EDA a suitable space for utilizing machine learning (ML)? The answer depends on a number of factors, including where exactly it is being applied, how much support there is from the industry, and whether there are demonstrable advantages. Exactly where ML will play a role has yet to be decided. Replacing existing heuristics with machine learning, for example, would require an industry-wide... » read more

Blog Review: April 28


Arm's Tiago Azevedo explains why it's important to measure uncertainty when using object detection, especially in critical applications such as automotive, and introduces a architecture that can do so while balancing complexity and efficiency. Cadence's Paul McLellan digs into the ISO 21434 standard for addressing and managing cybersecurity risks in vehicles and why it's a good sign for secu... » read more

New Methodologies Create New Opportunities


Experts at the Table: Semiconductor Engineering sat down to discuss what open source verification means today and what it should evolve into, with Jean-Marie Brunet, senior director for the Emulation Division at Siemens EDA; Ashish Darbari, CEO of Axiomise; Simon Davidmann, CEO of Imperas Software; Serge Leef, program manager in the Microsystems Technology Office at DARPA; Tao Liu, staff hardwa... » read more

The Verification Mindset


The practice of semiconductor verification has changed substantially over the years, and will continue to do so. The skillset needed for functional verification 20 years ago is hardly recognizable as a verification skillset today, and the same should be expected moving forward as design and verification becomes more abstract, the boundary of what is implemented in hardware versus firmware and s... » read more

Week In Review: Design, Low Power


Skyworks Solutions will acquire Silicon Labs' Infrastructure & Automotive (I&A) business for $2.75 billion cash. The transaction includes Silicon Labs' power/isolation, timing and broadcast products, intellectual property, and approximately 350 employees. Silicon Labs said it will focus on its IoT business, which includes integrated hardware and software wireless platforms for multiple ... » read more

Technology Access Discriminates


I try not to get on a soap box in my blogs, but I hope you will allow me to express a concern that I see building and the projection of an unintended outcome. I am talking about who does and does not have access to technology. Over time, this divide can cause a further division based on geography, income level, or some other factor. The ramifications of it are not realized until it is too late.... » read more

Putting Limits On What AI Systems Can Do


New techniques and approaches are starting to be applied to AI and machine learning to ensure they function within acceptable parameters, only doing what they're supposed to do. Getting AI/ML/DL systems to work has been one of the biggest leaps in technology in recent years, but understanding how to control and optimize them as they adapt isn't nearly as far along. These systems are generall... » read more

← Older posts Newer posts →