|
-
Ключові слова:
верифікація програм, верификация программ ; логічні системи,логические системы, logical systems ; мікропроцесори, микропроцессоры, microprocessors, Mikrorechner, microprocesseurs ; паралельні комп'ютери, параллельные компьютеры, parallel computers ; проектування цифрових систем, проектирование цифровых систем, digital systems design ; розробка програмного забезпечення, разработка программного обеспечения, software engineering, software development ; тестування програмного забезпечення, тестирование программного обеспечения ; Transaction Level Modeling, TLM ; System-on-Chips, SoCs ; Quantum-dot celluar automata, QCA ; Pattern Sensitive Faults, PSF ; Multi-core Processors ; IEEE P1500 ; FPGAs ; finite-state-machine, FSM ; Compositional Microprogram Control Units, CMCUs ; CMOS ; Automatic Test Pattern Generation, ATPGs
-
Електронні версії документа:
-
Теми документа
-
УДК // Комп’ютерна наука і технологія. Застосування комп’ютера. Оброблення даних
|
