Author of the publication

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

, , , , and . DAC, page 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. 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

Power proportional adder design for Internet of Things in a 65 nm process., , , and . PATMOS, page 1-6. IEEE, (2017)Empirical Temperature Model of Self-Directed Channel Memristor., , , , , and . IEEE SENSORS, page 1-4. IEEE, (2020)Reconfigurable asynchronous pipelines: From formal models to silicon., , and . DATE, page 1562-1567. IEEE, (2018)STG Optimisation in the Direct Mapping of Asynchronous Circuits ., , and . DATE, page 10932-10939. IEEE Computer Society, (2003)An implantable optrode with Self-diagnostic function in 0.35µm CMOS for optical neural stimulation., , and . BioCAS, page 244-247. IEEE, (2014)Waveform Transition Graphs: A Designer-Friendly Formalism for Asynchronous Behaviours., , , , and . ASYNC, page 73-74. IEEE Computer Society, (2017)Design and Verification of Speed-Independent Circuits with Arbitration in Workcraft., , , and . ASYNC, page 30-31. IEEE Computer Society, (2018)Elastic Bundles: Modelling and Synthesis of Asynchronous Circuits with Granular Rigidity., , and . ASYNC, page 57-64. IEEE Computer Society, (2017)Towards power-elastic systems through concurrency management., , , , , , , and . IET Comput. Digit. Tech., 6 (1): 33-42 (2012)Design and Implementation of Reconfigurable Asynchronous Pipelines., , and . IEEE Trans. Very Large Scale Integr. Syst., 28 (6): 1527-1539 (2020)