Author of the publication

Advances in Formal Methods for the Design of Analog/Mixed-Signal Systems: Invited.

, , , , и . DAC, стр. 36:1-36:6. ACM, (2017)

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.

 

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

Significance-Driven Logic Compression for Energy-Efficient Multiplier Design., , , , , и . IEEE J. Emerg. Sel. Topics Circuits Syst., 8 (3): 417-430 (2018)An Excitation Time Model for General-purpose Memristance Tuning Circuit., , , и . ISCAS, стр. 1-5. IEEE, (2018)Registers for Phase Difference Based Logic., , , , и . IEEE Trans. Very Large Scale Integr. Syst., 15 (6): 720-724 (2007)Step Persistence in the Design of GALS Systems., , , , и . Petri Nets, том 7927 из Lecture Notes in Computer Science, стр. 190-209. Springer, (2013)Toward Designing Thermally-Aware Memristance Decoder., , , , и . ISCAS, стр. 1. IEEE, (2020)Online Testing by Protocol Decomposition., , , и . IOLTS, стр. 263-268. IEEE Computer Society, (2006)Bridging the Design Methodologies of Burst-Mode Specifications and Signal Transition Graphs., , , и . ASPDAC, стр. 734-739. IEEE, (2024)Advances in Formal Methods for the Design of Analog/Mixed-Signal Systems: Invited., , , , и . DAC, стр. 36:1-36:6. ACM, (2017)Self-timed, minimum latency circuits for the internet of things., , , и . Integr., (2019)Wireless data and power transfer of an optogenetic implantable visual cortex stimulator., , , , и . EMBC, стр. 8006-8009. IEEE, (2015)