Godbole, A., Huffman, B., Liu, F., Rozas, C., & Seshia, S. (2025). Artifact: PyCaliper: Python-embedded Infrastructure for RTL Verification and Specification Synthesis. Zenodo.
Citazione stile Chigago Style (17a edizione)Godbole, Adwait, Brian Huffman, Fangfei Liu, Carlos Rozas, e Sanjit Seshia. Artifact: PyCaliper: Python-embedded Infrastructure for RTL Verification and Specification Synthesis. Zenodo, 2025.
Citatione MLA (9a ed.)Godbole, Adwait, et al. Artifact: PyCaliper: Python-embedded Infrastructure for RTL Verification and Specification Synthesis. Zenodo, 2025.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.