Bening, L., & Foster, H. (2000). Principles of Verifiable RTL Design: A Functional Coding Style Supporting Verification Processes in Verilog. Springer US.
Παραπομπή σε μορφή Chicago (17η εκδ.)Bening, Lionel, και Harry Foster. Principles of Verifiable RTL Design: A Functional Coding Style Supporting Verification Processes in Verilog. Boston, MA: Springer US, 2000.
Παραπομπή σε μορφή MLA (8th εκδ.)Bening, Lionel, και Harry Foster. Principles of Verifiable RTL Design: A Functional Coding Style Supporting Verification Processes in Verilog. Springer US, 2000.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.