From post

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.

 

Другие публикации лиц с тем же именем

Approximate hardware generation using symbolic computer algebra employing grobner basis., , и . DATE, стр. 889-892. IEEE, (2018)Approximate Hardware Generation Using Formal Techniques., , и . Approximate Circuits, Springer, (2019)Unlocking High Resolution Arithmetic Operations within Memristive Crossbars for Error Tolerant Applications., , , , , и . VLSI-SoC, стр. 1-6. IEEE, (2022)Parallel Computing of Graph-based Functions in ReRAM., , и . ACM J. Emerg. Technol. Comput. Syst., 18 (2): 41:1-41:24 (2022)Logic Synthesis for Hybrid CMOS-ReRAM Sequential Circuits., , и . ISVLSI, стр. 431-436. IEEE, (2019)Depth Optimized Synthesis of Symmetric Boolean Functions., , и . ISVLSI, стр. 61-66. IEEE, (2021)Polynomial Formal Verification of Approximate Adders., , и . DSD, стр. 761-768. IEEE, (2022)LiM-HDL: HDL-Based Synthesis for In-Memory Computing., и . DATE, стр. 1395-1400. IEEE, (2022)A Fully Fledged HDL Design Flow for In-Memory Computing with Approximation Support. Bremen University, Germany, (2022)base-search.net (ftsubbremen:oai:media.suub.uni-bremen.de:Publications/elib/5742).Polynomial Formal Verification of Approximate Functions., , и . ISVLSI, стр. 92-97. IEEE, (2022)