Ahmadi-Pour, S., Muller, L., & Drechsler, R. (2026). Exploring the Parameter Space for Constrained Random Verification of RISC-V CPUs. 2026 Forum on Specification & Design Languages (FDL), Specification & Design Languages (FDL), 2026 Forum on, 1. https://doi.org/10.1109/FDL71572.2026.11725310
Παραπομπή σε μορφή Chicago (17η εκδ.)Ahmadi-Pour, Sallar, Luca Muller, και Rolf Drechsler. "Exploring the Parameter Space for Constrained Random Verification of RISC-V CPUs." 2026 Forum on Specification & Design Languages (FDL), Specification & Design Languages (FDL), 2026 Forum on 2026: 1. https://doi.org/10.1109/FDL71572.2026.11725310.
Παραπομπή σε μορφή MLA (9th εκδ.)Ahmadi-Pour, Sallar, et al. "Exploring the Parameter Space for Constrained Random Verification of RISC-V CPUs." 2026 Forum on Specification & Design Languages (FDL), Specification & Design Languages (FDL), 2026 Forum on, 2026, p. 1, https://doi.org/10.1109/FDL71572.2026.11725310.