Generative AI Assertions in UVM-Based System Verilog Functional Verification. - Valentin Radu; Diana Dranga; Catalin Marian Dumitrescu; Alina Iuliana Tabirca; Maria Cristina Stefan (Syst., 2024)