-
1
المؤلفون: Tang Yuxing, Luo Li, Yang Qingna, Pan Guoteng, Ou Guodong
المصدر: The Open Cybernetics & Systemics Journal. 8:17-21
مصطلحات موضوعية: Multi-core processor, High-level verification, Correctness, Functional verification, Speedup, business.industry, Computer science, CPU cache, General Mathematics, Integrated circuit design, Intelligent verification, Computer architecture, Control and Systems Engineering, Embedded system, business, Hardware_REGISTER-TRANSFER-LEVELIMPLEMENTATION
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::b6e910065ce90b6b19d5140ed3a56462
https://doi.org/10.2174/1874110x01408010017