Tag: -V architecture
-
Hacker News: Clean, a formal verification DSL for ZK circuits in Lean4
Source URL: https://blog.zksecurity.xyz/posts/clean/ Source: Hacker News Title: Clean, a formal verification DSL for ZK circuits in Lean4 Feedly Summary: Comments AI Summary and Description: Yes **Summary:** The provided text discusses the development of an embedded Domain-Specific Language (DSL) and formal verification framework for Zero-Knowledge (ZK) circuits using Lean4. The project aims to enhance the correctness…
-
Hacker News: Do you DARE? Europe bets once again on RISC-V for supercomputing sovereignty
Source URL: https://www.theregister.com/2025/03/07/dare_europe_risc_v_project/ Source: Hacker News Title: Do you DARE? Europe bets once again on RISC-V for supercomputing sovereignty Feedly Summary: Comments AI Summary and Description: Yes Summary: The text discusses the formation of the Digital Autonomy with RISC-V in Europe (DARE) project aimed at developing processor units for high-performance computing, particularly supercomputers. This initiative…
-
The Register: Do you DARE? Europe bets once again on RISC-V for supercomputing sovereignty
Source URL: https://www.theregister.com/2025/03/07/dare_europe_risc_v_project/ Source: The Register Title: Do you DARE? Europe bets once again on RISC-V for supercomputing sovereignty Feedly Summary: €240M found for three-year sprint to develop three chiplets for HPC, AI A 38-strong group of tech players have founded a project with the snappy name Digital Autonomy with RISC-V in Europe, aka DARE,…
-
The Register: Xen Project delivers solid hypervisor update and keeps working on RISC-V port
Source URL: https://www.theregister.com/2025/03/06/xen_seapath_open_source_hypervisors/ Source: The Register Title: Xen Project delivers solid hypervisor update and keeps working on RISC-V port Feedly Summary: While we’re talking open source V12N, meet SEAPATH: A new hypervisor for electricity grids backed by Red Hat The Xen Project has delivered an update to its flagship hypervisor.… AI Summary and Description: Yes…
-
The Register: US adds Chinese RISC-V player that TSMC suspected of helping build Huawei GPUs to risky company register
Source URL: https://www.theregister.com/2025/01/16/entity_list_chinese_expansion/ Source: The Register Title: US adds Chinese RISC-V player that TSMC suspected of helping build Huawei GPUs to risky company register Feedly Summary: Sophgo scores a place on Entity List, Indian nuclear boffins taken off Chinese chip designer Sophgo, a suspected supplier of AI silicon to Huawei, has been added to the…
-
The Register: RISC-V reaches milestone with RVA23 profile ratification
Source URL: https://www.theregister.com/2024/10/23/rva23_profile_ratified/ Source: The Register Title: RISC-V reaches milestone with RVA23 profile ratification Feedly Summary: No longer an underdog – it now challenges Arm and x86 Comment The ratification of the RVA23 profile for RISC-V marks a monumental moment for the architecture, and anyone who’s been following RISC-V knows that this isn’t just a…
-
The Register: Codasip opens up SDK for CHERI protection on RISC-V chips
Source URL: https://www.theregister.com/2024/10/23/codasip_sdk_riscv_chip/ Source: The Register Title: Codasip opens up SDK for CHERI protection on RISC-V chips Feedly Summary: Alliance commits to Integrating the architecture into all high-tech products Processor design outfit Codasip is donating an SDK it developed for the CHERI security architecture to the industry body that promotes the technology, saying this will…