This talk was given by Dr. Ashish Darbari in the event Nerds talking to Nerds hosted by Tenstorrent Inc. in Bengaluru, India in 2023.
Негізгі бет Hunting down corner-case bugs in RISC-V processors using formal verification
This talk was given by Dr. Ashish Darbari in the event Nerds talking to Nerds hosted by Tenstorrent Inc. in Bengaluru, India in 2023.
Пікірлер