WISeKey $WKEY Partners with Cortus to Secure Automated Vehicles Capable of Controlling All Aspects of Driving Without Human Intervention While automated vehicles become more and more connected, they also become…
Read More
BANGALORE, India and MUNICH, March 24, 2021 /PRNewswire/ -- Valtrix Systems, the provider of design verification products for building functionally correct CPU and system-on-chip implementations, and Codasip, the leading supplier…
Read More
An instruction-set extension to the open-source RISC-V ISA (RV32IM) dedicated to ultra-low power (ULP) software-defined wireless IoT transceivers. Read the full article.
Read More
SiFive, a startup that has been developing intellectual property for chips based on the RISC-V standard, said Intel will make its designs available to Intel's foundry customers. Read the full…
Read More
Welcome Sammy Cheung, CEO of Efinix! Visit the Podcast page.
Read More
There’s a relatively small but active maker community in Thailand, and we’ve covered or even reviewed some made in Thailand boards including ESP8266 and ESP32 boards, a 3G Raspberry Pi…
Read More
In a previous blog post, we talked about formal verification and how we can convince ourselves (and others!) that a piece of software really works as intended. Now that we…
Read More
New part makes impressive efficiency claims, but is currently available only as a prototype chip with pricing yet to be confirmed. SiFive, a pioneer of the RISC-V free and open…
Read More
Designing a modern System on a Chip is based on the joint design of hardware and software (co-design). However, understanding the tight relationship between hardware and software is not straightforward.…
Read More
One of the specialties of HENSOLDT Cyber is *formal verification*. This may sound very sophisticated, but what is it exactly? In this blog, we will endeavor to explain. In general,…
Read More