Author of the publication

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

, , , , , and . ISQED, page 224-230. IEEE, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Energy optimal sizing of FinFET standard cells operating in multiple voltage regimes using adaptive independent gate control., , , , and . ACM Great Lakes Symposium on VLSI, page 73-74. ACM, (2014)VeriSFQ: A Semi-formal Verification Framework and Benchmark for Single Flux Quantum Technology., , , , , and . ISQED, page 224-230. IEEE, (2019)CSM-NN: Current Source Model Based Logic Circuit Simulation - A Neural Network Approach., , and . ICCD, page 393-400. IEEE, (2019)Efficient Task Mapping for Manycore Systems., , , , and . CoRR, (2020)NN-PARS: A Parallelized Neural Network Based Circuit Simulation Framework., , , , and . ISQED, page 452-456. IEEE, (2020)Approximate Logic Synthesis: A Reinforcement Learning-Based Technology Mapping Approach., , and . CoRR, (2019)A thermally-aware energy minimization methodology for global interconnects., , , and . DATE, page 1213-1218. IEEE, (2017)A game-theoretic price determination algorithm for utility companies serving a community in smart grid., , , , and . ISGT, page 1-6. IEEE, (2013)An electricity trade model for microgrid communities in smart grid., , , and . ISGT, page 1-5. IEEE, (2014)Simulating the Effects of Process Variations on Capacitive Crosstalk., , and . ICECS, page 604-607. IEEE, (2006)