tag: verification

Using Formal To Verify Safety-Critical Hardware For ISO 26262
By Sergio Marchese - 26 Jul, 2017 - Comments: 0

Automotive technology has come a long way since the days of the Ford Model T. Today's smart vehicles not only assist their drivers with tasks such as parking, lane management, and braking, but also function as a home away from home, with WiFi hotspots and sophisticated entertainment systems. These sophisticated features are made possible by increasingly complex electronic systems—systems that... » read more

Hybrid Emulation
By Brian Bailey - 19 Jul, 2017 - Comments: 0

Semiconductor Engineering sat down to discuss the growing usage of hybrid verification approaches with Frank Schirrmeister, senior group director of product management & marketing for [getentity id="22032" e_name="Cadence"]; Russ Klein, program director for pre-silicon debug products at [getentity id="22017" e_name="Mentor, a Siemens Business"]; [getperson id="11027" comment="Phil Moorby"],... » read more

Data Management For Mixed-Signal Designs
By Cliosoft - 06 Jul, 2017 - Comments: 0

Software teams have long used version control and data management systems and they have become an integral part of a so ware development environment. Practically, no significant software project is started without a software data management system and methodology in place. There are a variety of solutions, typically referred to as Software Configuration Management (SCM) systems, to choose from ... » read more

Ignoring Anomalies
By Brian Bailey - 03 Jul, 2017 - Comments: 0

Everyone has been in this situation at some point in their career—you have a data point that is so far out of the ordinary that you dismiss it as erroneous. You blame the test equipment, or the fact that it is Friday afternoon and happy hour started 10 minutes ago. In most cases it may never happen again and nobody will ever notice that you quietly swept it under the rug. But in doing so, ... » read more

Verification Unification
By Brian Bailey - 03 Jul, 2017 - Comments: 0

Semiconductor Engineering brought together industry luminaries to initiate the discussion about the role that formal technologies will play with the recently released early adopter's draft of Portable Stimulus and how it may help to bring the two execution technologies closer together. Participating in this roundtable are Joe Hupcey, verification product technologist for [getentity id="22017" e... » read more

The Safe Road Trip Thanks To Formal Verification
By Dave Kelf - 29 Jun, 2017 - Comments: 0

School’s out, gas is cheap and families in the U.S. are piling into their cars or minivans to take the time-honored cross-country road trip. These days, kids in the backseat don’t need to entertain themselves by spotting the license plates from the 50 U.S. states or picking a fight with their brother or sister. Instead, they can be kept amused with the vehicle’s sophisticated entertainmen... » read more

ON Semiconductor Meets AEC Challenges With Electrothermal Analysis
By Ahmed Eisawy - 29 Jun, 2017 - Comments: 0

By Justin Yerger, ON Semiconductor, and Ahmed Eisawy, Mentor, a Siemens Business ON Semiconductor is a leading provider of products for automotive applications that follow the Automotive Electronics Council (AEC Q-100-012) requirements for reliability characterization of smart power devices. In particular, Automotive Smart FET driver ICs present verification challenges when verifying short c... » read more

DAC 2017: A Glimpse Of How The Future Is Enabled
By Frank Schirrmeister - 29 Jun, 2017 - Comments: 0

Last week’s Design Automation Conference in Austin gave great examples on how the future is enabled with next generation tools today. My favorite portions were Uhnder’s overview on “Agile Emulation” in the cloud, SirusXM’s presentation on how they used our portfolio of emulation and FPGA-based prototyping, the panel on “Smarter Verification” that I had organized and – of course ... » read more

Verification In The Cloud
By Ed Sperling - 29 Jun, 2017 - Comments: 0

By Ed Sperling Leasing of cloud-based verification resources on an as-needed basis is finally beginning to gain traction after more than a decade of false starts and over-optimistic expectations. All of the major EDA vendors now offer cloud-based services. They view this as a way of either supplementing a chipmaker's existing resources at various peak use times, or for small and midsize com... » read more

Hybrid Emulation
By Brian Bailey - 29 Jun, 2017 - Comments: 0

Semiconductor Engineering sat down to discuss the growing usage of hybrid verification approaches with Frank Schirrmeister, senior group director of product management & marketing for [getentity id="22032" e_name="Cadence"]; Russ Klein, program director for pre-silicon debug products at [getentity id="22017" e_name="Mentor, a Siemens Business"]; [getperson id="11027" comment="Phil Moorby"],... » read more

← Older posts Newer posts →

  • Sponsors

About

Navigation

Connect With Us

Copyright ©2013-2025 SMG   |  Terms of Service  |  Privacy Policy