PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Farahmandi, Farimah"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Exploiting transaction level models for observability-aware post-silicon test generation.

, , und . DATE, Seite 1477-1480. IEEE, (2016)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Keine Personen gefunden für den Autorennamen Farahmandi, Farimah
Eine Person hinzufügen mit dem Namen Farahmandi, Farimah
 

Weitere Publikationen von Autoren mit dem selben Namen

A new structure for interconnect offline testing., , , , und . EWDTS, Seite 1-5. IEEE Computer Society, (2013)POCA: First Power-on Chip Authentication in Untrusted Foundry and Assembly., , , , , , und . HOST, Seite 124-135. IEEE, (2021)Automated Test Generation for Debugging Multiple Bugs in Arithmetic Circuits., und . IEEE Trans. Computers, 68 (2): 182-197 (2019)Quantifiable Assurance: From IPs to Platforms., , , , , , , , , und 2 andere Autor(en). IACR Cryptol. ePrint Arch., (2021)Automated test generation for Debugging arithmetic circuits., und . DATE, Seite 1351-1356. IEEE, (2016)Defense-in-Depth: A Recipe for Logic Locking to Prevail., , , , , , , , und . CoRR, (2019)SoFI: Security Property-Driven Vulnerability Assessments of ICs Against Fault-Injection Attacks., , , , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 41 (3): 452-465 (2022)Rethinking Watermark: Providing Proof of IP Ownership in Modern SoCs., , , , , , , und . IACR Cryptol. ePrint Arch., (2022)Groebner basis based formal verification of large arithmetic circuits using Gaussian elimination and cone-based polynomial extraction., und . Microprocessors and Microsystems - Embedded Hardware Design, 39 (2): 83-96 (2015)Effective Combination of Algebraic Techniques and Decision Diagrams to Formally Verify Large Arithmetic Circuits., , und . ISVLSI, Seite 338-343. IEEE Computer Society, (2014)