Jain, H., Sharygina, N., Kroening, D., Clarke, E., & Jr, W. (2005). Word level predicate abstraction and refinement for verifying RTL verilog. Association for Computing Machinery.
Chicago-referens (17:e uppl.)Jain, H., N. Sharygina, D. Kroening, E. Clarke, och W. Jr. Word Level Predicate Abstraction and Refinement for Verifying RTL Verilog. Association for Computing Machinery, 2005.
MLA-referens (9:e uppl.)Jain, H., et al. Word Level Predicate Abstraction and Refinement for Verifying RTL Verilog. Association for Computing Machinery, 2005.
Varning: dessa hänvisningar är inte alltid fullständigt riktiga.