Cerny, E., Dudani, S., Havlicek, J., & Korchemny, D. (2015). SVA: The power of assertions in SystemVerilog (Second edition.). Springer International Publishing. https://doi.org/10.1007/978-3-319
Chicago Style (17th ed.) CitationCerny, Eduard, Surrendra Dudani, John Havlicek, and Dmitry Korchemny. SVA: The Power of Assertions in SystemVerilog. Second edition. Cham: Springer International Publishing, 2015. https://doi.org/10.1007/978-3-319.
MLA (9th ed.) CitationCerny, Eduard, et al. SVA: The Power of Assertions in SystemVerilog. Second edition. Springer International Publishing, 2015. https://doi.org/10.1007/978-3-319.
Warning: These citations may not always be 100% accurate.