Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Nishant Ghosh"'
Publikováno v:
DAC
We present an effective methodology for formally verifying security-critical flows in a commercial System-on-Chip (SoC) which involve extensive interaction between firmware (FW) and hardware (HW). We describe several HW-FW interaction scenarios that
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::00694a652e87c82ad9e149d333ae78b5
https://doi.org/10.1145/3316781.3323478
https://doi.org/10.1145/3316781.3323478
Publikováno v:
2014 2nd International Conference on Emerging Technology Trends in Electronics, Communication and Networking.
This paper presents a novel design which compares a stream of digital data with a threshold value and accumulates the number of occurrences for when the data is above, equal to or below the threshold. The design is implemented using two transistor te
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7be6675ef714ed02520f61f30b0e5114
https://doi.org/10.1109/et2ecn.2014.7044946
https://doi.org/10.1109/et2ecn.2014.7044946