Yayın: Detecting hardware Trojans in unspecified functionality through solving satisfiability problems
Yükleniyor...
Tarih
Dergi Başlığı
Dergi ISSN
Cilt Başlığı
Yayımcı
Özet
Açıklama
Anahtar kelimeler
Computer science, Hardware Trojan, Universal asynchronous receiver/transmitter, Verilog, Boolean satisfiability problem, Embedded system, Satisfiability, Formal equivalence checking, Formal verification, Correctness, Programming language, Field-programmable gate array, Theoretical computer science, Algorithm, Computer hardware, Chip, Integrated circuit, Operating system