vix.ing · top · new · best · stats · spec

Kaki Ryan

  1. Countering the Path Explosion Problem in the Symbolic Execution of Hardware Designs
    2023/04/11 by Kaki Ryan, Cynthia Sturton, Ryan, Kaki +1 · 3 citations
    Engineering · Computer Science · #Radiation Effects in Electronics #Formal Methods in Verification #VLSI and Analog Circuit Testing