11 Myths About Using Formal Verification
Axiomise’s Dr. Ashish Darbari dispels a host of myths to highlight the advantages of formal verification for IC design.
What you’ll learn:
How formal verification... Read more.
NASA Uses RISC-V Vector Spec to Soup Up Space Computers | Chenny Wang, EE Times
With the growing demand for applications that require multiple cores and AI, ML, and computer vision capabilities, faster and power-efficient processing is essential.... Read more.
Secure-IC acquires Silex Insight’s security business to accelerate its chip-to-cloud plan and develop the next-generation of embedded cybersecurity solutions
The RISC-V member @Secure-IC has announce the acquisition of @Silex Insight security business (also a RISC-V member) to accelerate its Chip-To-Cloud plan and develop... Read more.
RISC-V Is Thriving: Here’s What You Need To Know | Steve Brown, Semiconductor Engineering
RISC-V, the open-standard Instruction Set Architecture (ISA) conceived by UC Berkeley developers in 2010, is going from strength to strength. The RISC in RISC-V... Read more.
SiFive launches Performance P670 and P470 RISC-V energy efficient processors | Bogdan Solca, Notebook Check
With the release of the P670 and P470 RISC-V processors, SiFive plans to deliver competitive alternatives to legacy technologies for the wearables, smart home and... Read more.
Codasip, SiliconArts team on RISC-V ray tracing graphics IP | Nick Flaherty, EE News Europe
A high end ray tracing graphics core is shipping with a customisable RISC-V core from German developer Codasip as the first step to integrated low power AR chips.... Read more.
SEGGER introduces streaming trace probe for SiFive RISC-V cores | SEGGER
SEGGER’s J-Trace PRO with streaming trace, Live Code Profiling, and Live Code Coverage now supports all E-Series SiFive RISC-V cores with the BTM trace module.... Read more.
Open source TileLink to AHB bridges with dedicated Cocotb extensions | Antmicro
Antmicro uses open source to introduce pragmatic innovation into areas which have traditionally been heavily reliant on proprietary technologies such as ASIC and... Read more.
Lilbits: RISC-V and de-Googled phones, and Qualcomm sees 2024 as the year of the Snapdragon-powered PC | Brad Linder, Liliputing
Microsoft’s new Windows Dev Kit 2023 is a $600 mini PC with 32GB of RAM, a 512GB PCIe NVMe SSD, and the most powerful Qualcomm Snapdragon processor to date…... Read more.
Andes unveils AndesCore AX65 Out-of-Order RISC-V core for compute intensive applications | Jean-Luc Aufranc, CNX Software
Andes Technology has unveiled the high-end AndesCore AX60 series out-of-order 64-bit RISC-V processors at the Linley Fall Processor Conference 2022 with the new... Read more.