Practical Formal Verification in Microprocessor Design

Մատենագիտական մանրամասներ
Հիմնական հեղինակներ:	Jones, R, O'Leary, J, Seger, C, Aagaard, M, Melham, T
Ձևաչափ:	Journal article
Հրապարակվել է:	2015

Նմանատիպ նյութեր