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

Standard cell library based layout characterization and power analysis for 10nm gate-all-around (GAA) transistors., , , , and . SoCC, page 253-258. IEEE, (2016)Hierarchical Sequence Compaction for Power Estimation., , and . DAC, page 570-575. ACM Press, (1997)Dynamic Power Management Based on Continuous-Time Markov Decision Processes., and . DAC, page 555-561. ACM Press, (1999)SFQmap: A Technology Mapping Tool for Single Flux Quantum Logic Circuits., , and . ISCAS, page 1-5. IEEE, (2018)TEI-power: Temperature Effect Inversion-Aware Dynamic Thermal Management., , , , , and . ACM Trans. Design Autom. Electr. Syst., 22 (3): 51:1-51:25 (2017)Negotiation-based task scheduling to minimize user's electricity bills under dynamic energy prices., , , , and . OnlineGreenComm, page 1-6. IEEE, (2014)Timing-driven placement based on partitioning with dynamic cut-net control., and . DAC, page 472-476. ACM, (2000)Constructing Lower and Upper Bounded Delay Routing Trees Using Linear Programming., , and . DAC, page 401-404. ACM Press, (1996)Multi-objective optimization techniques for VLSI circuits., , and . ISQED, page 156-163. IEEE, (2011)In-order pulsed charge recycling in off-chip data buses., , and . ACM Great Lakes Symposium on VLSI, page 371-374. ACM, (2008)