Practical Formal Verification in Microprocessor Design

গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক: Jones, R, O'Leary, J, Seger, C, Aagaard, M, Melham, T
বিন্যাস: Journal article
প্রকাশিত: 2015