Trích dẫn APA

Quirós-Barrantes, J. (2025). Diseño de un ambiente de verificación formal basado en SystemVerilog Assertions para una unidad aritmética lógica de punto flotante.

Trích dẫn kiểu Chicago

Quirós-Barrantes, Josué. Diseño De Un Ambiente De Verificación Formal Basado En SystemVerilog Assertions Para Una Unidad Aritmética Lógica De Punto Flotante. 2025.

Trích dẫn MLA

Quirós-Barrantes, Josué. Diseño De Un Ambiente De Verificación Formal Basado En SystemVerilog Assertions Para Una Unidad Aritmética Lógica De Punto Flotante. 2025.

Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.