Axiomise Unveils Formal Verification 101 Training Program | GlobeNewsWireLONDON, April 06, 2021 (GLOBE NEWSWIRE) -- Axiomise, the leading provider of cutting-edge formal verification consulting, training, services, and IP, today unveiled a comprehensive introductory certification-based…
Axiomise Unveils Formal Verification 101 Training Program | Press ReleaseCertification-Based Self-Paced On-Demand Continuing Education Program Includes Best Practices for Using Formal Verification LONDON, April 06, 2021 (GLOBE NEWSWIRE) -- Axiomise, the leading provider of cutting-edge…
Video: #CSWSpring21 / RISC-V for acceleration of data-parallel workloads: from IoT to HPCIn this talk by Luca Benini (University of Bologna / ETH Zurich), we will look into RISC-V based architectures for acceleration of data-parallel workloads. The…
Collaboration among SkyWater, Efabless and Google enables industry’s first open source ASICs BLOOMINGTON, Minn. & SAN JOSE, Calif.--(BUSINESS WIRE)--SkyWater Technology, the trusted technology realization partner,…
A look at the need for and operation of the RISC-V AMOSWAP instruction. Course web site: http://faculty.cs.niu.edu/~winans/CS463 RISC-V Instruction Set Manual: https://riscv.org/technical/specifications/ RISC-V Instruction Set…
ARM vs RISC-V Vector Extensions | Erik EngheimA comparison of the RISC-V vector extension (RVV) and ARM scalable vector extension (SVE/SVE2). Read the blog.
Codasip to Offer Secure Boot Solutions with Veridify ToolsShelton, Connecticut and Munich, Germany – March 30th, 2021 – Codasip, the leading supplier of customizable RISC-V processor IP, and Veridify Security, a leader in securing…
#RISC-V is an innovative, open-source and increasingly widespread computer architecture that provides an independent and cost-effective alternative to major #chip manufacturers. Using formal #verification tools…
Video: (EN) AndeSysC™ – A Flexible RISC-V Processor Model for SoC Virtual Prototyping2021 Andes RISC-V Webinar Date: March 25, 2021 Topic: AndeSysC™ - A Flexible RISC-V Processor Model for SoC Virtual Prototyping Speaker: YiChiang Chang, Technical Marketing…
Video: Fun Hardware With RISC-V ProcessorsKeith Packard shares his passion of hobbyist rocketry and hardware design. Packard and his partners develop hardware for rocketry kits using RISC-V processors. Doc Searls…
Geniatech DB1126 Development Board Features RV1126 SoC for AI Applications | ABHISHEK JADHAV, CNX SoftwareGeniatech DB1126 development board features RV1126 SoC for AI applications Since the release of Rockchip RV1126 SoC, we have covered the detailed specifications on the chip…
The First Decade of RISC-V: A Worldwide Phenomenon | Paul McLellan, CadenceRead the full article.]]>
Tech Insight: RISC-V | Leonard Lee, next Curve PodcastWhat is RISC-V? – We discuss the genesis of RISC-V and the short history of the open source ISA that could change the semiconductor industry…





