Autor der Publikation

VeriSFQ: A Semi-formal Verification Framework and Benchmark for Single Flux Quantum Technology.

, , , , , und . ISQED, Seite 224-230. IEEE, (2019)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

CSM-NN: Current Source Model Based Logic Circuit Simulation - A Neural Network Approach., , und . ICCD, Seite 393-400. IEEE, (2019)Efficient Task Mapping for Manycore Systems., , , , und . CoRR, (2020)NN-PARS: A Parallelized Neural Network Based Circuit Simulation Framework., , , , und . ISQED, Seite 452-456. IEEE, (2020)Design and optimization of a reconfigurable power delivery network for large-area, DVS-enabled OLED displays., , , , und . ISLPED, Seite 159-164. IEEE, (2015)Energy optimal sizing of FinFET standard cells operating in multiple voltage regimes using adaptive independent gate control., , , , und . ACM Great Lakes Symposium on VLSI, Seite 73-74. ACM, (2014)VeriSFQ: A Semi-formal Verification Framework and Benchmark for Single Flux Quantum Technology., , , , , und . ISQED, Seite 224-230. IEEE, (2019)Approximate Logic Synthesis: A Reinforcement Learning-Based Technology Mapping Approach., , und . CoRR, (2019)A thermally-aware energy minimization methodology for global interconnects., , , und . DATE, Seite 1213-1218. IEEE, (2017)An electricity trade model for microgrid communities in smart grid., , , und . ISGT, Seite 1-5. IEEE, (2014)A game-theoretic price determination algorithm for utility companies serving a community in smart grid., , , , und . ISGT, Seite 1-6. IEEE, (2013)