tag: Python

Self-Driving Cars: Formalization and Verification Of The Responsibility-Sensitive Safety (RSS) Model
By Technical Paper Link - 28 Jun, 2023 - Comments: 0

A technical paper titled “Slow Down, Move Over: A Case Study in Formal Verification, Refinement, and Testing of the Responsibility-Sensitive Safety Model for Self-Driving Cars” was published by researchers at Carnegie Mellon University. Abstract: "Technology advances give us the hope of driving without human error, reducing vehicle emissions and simplifying an everyday task with the futur... » read more

Continuing Challenges For Open-Source Verification
By Brian Bailey - 01 Jun, 2021 - Comments: 1

Experts at the Table: This is the last part of the series of articles derived from the DVCon panel that discussed Verification in the Era of Open Source. It takes the discussion beyond what happened in the panel and utilizes some of the questions that were posed, but never presented to the panelists due to lack of time. Contributing to the discussion are Ashish Darbari, CEO of Axiomise; Serge L... » read more

New Methodologies Create New Opportunities
By Brian Bailey - 27 Apr, 2021 - Comments: 0

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

Manufacturing Bits: Nov. 9
By Mark LaPedus - 09 Nov, 2020 - Comments: 0

Open-source EUV resist metrology Paul Scherrer Institute (PSI) has developed an open-source software technology for scanning electron microscopy (SEM) applications. The technology is targeted for EUV resist metrology. The technology, called SMILE (SEM-Measured Image Lines Estimator), is an open source software technology, which characterizes line and space patterns in a SEM. SMILE is used t... » read more

The Evolution Of High-Level Synthesis
By Brian Bailey - 27 Aug, 2020 - Comments: 3

High-level synthesis is getting yet another chance to shine, this time from new markets and new technology nodes. But it's still unclear how fully this technology will be used. Despite gains, it remains unlikely to replace the incumbent RTL design methodology for most of the chip, as originally expected. Seen as the foundational technology for the next generation of EDA companies around the ... » read more

Continuous Integration
By Zach Lasiuk - 26 Oct, 2017 - Comments: 0

In this article, I tackle the classic question engineers developing software for custom integrated circuits (ICs) grapple with constantly: How do I test my software before the hardware team gets me a working silicon chip? No ‘one size fits all’ solution is provided here (look for that alongside my pet unicorn); instead I detail an easy-to-use yet powerful approach to solve this proble... » read more

Software Driving More Hardware Designs
By Ed Sperling - 27 Aug, 2015 - Comments: 2

The influence of software engineers is growing inside of chip and systems companies, reversing a decades-old trend of matching the software to the fastest or most power-efficient hardware and raising as-yet unanswered questions about what will change in SoC design. The shift is particularly evident in chips developed for high-volume markets such as mobile phones and tablets. It's also happen... » read more

  • Sponsors

About

Navigation

Connect With Us

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