Is Formal Verification Artificial Intelligence?

From www.eetimes.com 7 years ago in News

Artificial intelligence or not, formal verification is a technology that has become a must-have in the modern verification flow.

Articles from EETimes

IMS 2022 Part 2: Technical Takeaways

From www.eetimes.com 3 days ago in News

This article provides a discussion of the highlights of the talks, technical sessions, and presentations that occurred at the International Microwave Symposium. The post IMS 2022 Part 2: Technical Takeaways appeared first on EETimes.

IMS 2022 Part 1: Highlights & Exhibition

From www.eetimes.com 3 days ago in News

This article covers highlights of the International Microwave Symposium exhibition and some of the words on the street. The post IMS 2022 Part 1: Highlights & Exhibition appeared first on EETimes.

CBRS and 5G: Boosting the Data Rates?

From www.eetimes.com 4 days ago in News

CBRS is about to start its time in the sun with 5G. The post CBRS and 5G: Boosting the Data Rates? appeared first on EETimes.

Startup Tachyum Offers Universal Processor for Evaluation

From www.eetimes.com 4 days ago in News

Tachyum's latest universal processor, Prodigy, combines the functionality of a CPU and GPU into a single architecture, delivering better performance, power, and total cost of ownership for cloud computing, AI, and HPC environments. The post Startup Tachyum Offers Universal Processor...

Carbon Nanotubes Enable No-Compromise Thermal Interface Materials

From www.eetimes.com 5 days ago in News

Carbon nanotubes can create an effective cooling system that combines the properties of both liquid and solid thermal interface materials in a single solution. The post Carbon Nanotubes Enable No-Compromise Thermal Interface Materials appeared first on EETimes.

NHTSA ADAS Collision Data Analysis

From www.eetimes.com 5 days ago in News

This column looks at the L2 ADAS information from the NHTSA and will also include some quarterly Tesla collision data. The post NHTSA ADAS Collision Data Analysis appeared first on EETimes.

Training a 20–Billion Parameter AI Model on a Single Processor

From www.eetimes.com 1 week ago in News

Cerebras has set the record for training the largest AI models on a single chip. Why does it matter? The post Training a 20–Billion Parameter AI Model on a Single Processor appeared first on EETimes.

PCIe 7.0 To Double Data Rate – Again

From www.eetimes.com 1 week ago in News

PCI–SIG sets 2025 deadline for PCIe 7.0, commits to bandwidth doubling, backwards compatibility. The post PCIe 7.0 To Double Data Rate – Again appeared first on EETimes.

Neuchips Tapes Out Recommendation Accelerator for World-Beating Accuracy

From www.eetimes.com 1 week ago in News

The Taiwanese startup, Neuchips, has invented and patented a new number format, FFP8, which gets close to BF16 prediction accuracy. The post Neuchips Tapes Out Recommendation Accelerator for World-Beating Accuracy appeared first on EETimes.

Assessing the Potential of SiC beyond the Automotive Industry

From www.eetimes.com 1 week ago in News

Despite SiC's wide use in the automotive industry, the technology is primed for use in other industries, including aerospace and power supply. The post Assessing the Potential of SiC beyond the Automotive Industry appeared first on EETimes.