Author of the publication

A Cross-level Verification Methodology for Digital IPs Augmented with Embedded Timing Monitors.

, , , , , and . ACM Trans. Design Autom. Electr. Syst., 24 (3): 27:1-27:23 (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

Automatic generation of cycle-accurate Simulink blocks from hdl ips., , , , and . FDL, page 1-8. IEEE, (2017)MIPP: A microbenchmark suite for performance, power, and energy consumption characterization of GPU architectures., , , and . SIES, page 159-164. IEEE, (2016)Introducing assume-guarantee contracts for verifying robotic applications: work-in-progress., , , and . CODES+ISSS, page 4. IEEE / ACM, (2018)An extended-UIO-based method for protocol conformance testing., , and . J. Syst. Archit., 46 (3): 225-242 (2000)A design methodology for the correct specification of VLSI systems., , , , , and . Microprocess. Microprogramming, 38 (1-5): 563-570 (1993)Production Recipe Validation through Formalization and Digital Twin Generation., , , , and . DATE, page 1698-1703. IEEE, (2020)A Layered Methodology for the Simulation of Extra-Functional Properties in Smart Systems., , , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 36 (10): 1702-1715 (2017)Symbolic optimization of interacting controllers based onredundancy identification and removal., , , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 19 (7): 760-772 (2000)HDTLib: an efficient implementation of SystemC data types for fast simulation at different abstraction levels., , , , and . Des. Autom. Embed. Syst., 16 (2): 115-135 (2012)A Remote Methodology for Embedded Systems Design and Validation., and . Des. Autom. Embed. Syst., 8 (2-3): 229-247 (2003)