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

Isabel Garcia-Contreras

  1. Btor2MLIR: A Format and Toolchain for Hardware Verification
    2023/09/16 by Joseph Tafese, Isabel Garcia-Contreras, Tafese, Joseph +3 · 1 citation
    Computer Science · Engineering · #Software Testing and Debugging Techniques #Formal Methods in Verification #Radiation Effects in Electronics