Flavio M. de Paula

Publication Activity (10 Years)

Years Active: 2006-2019
Publications (10 Years): 3

Top Topics

Electronic Equipment

Fault Diagnosis

Gallium Arsenide

Top Venues

Innov. Syst. Softw. Eng.

ACM Great Lakes Symposium on VLSI

Publications

Flavio M. de Paula, Arvind Haran, Brad Bingham
Rewriting toward trace coverage analysis of symmetric systems. Innov. Syst. Softw. Eng. 15 (3-4) (2019)
Debjit Pal, Abhishek Sharma, Sandip Ray, Flavio M. de Paula, Shobha Vasudevan
Application level hardware tracing for scaling post-silicon debug. DAC (2018)
Flavio M. de Paula, Arvind Haran, Brad Bingham
An Efficient Rewriting Framework for Trace Coverage of Symmetric Systems. NFM (2018)
Marcel Gort, Flavio M. de Paula, Johnny J. W. Kuan, Tor M. Aamodt, Alan J. Hu, Steven J. E. Wilton, Jin Yang
Formal-Analysis-Based Trace Computation for Post-Silicon Debug. IEEE Trans. Very Large Scale Integr. Syst. 20 (11) (2012)
Dipanjan Sengupta, Flavio M. de Paula, Alan J. Hu, Andreas G. Veneris, André Ivanov
Lazy suspect-set computation: fault diagnosis for deep electrical bugs. ACM Great Lakes Symposium on VLSI (2012)
Flavio M. de Paula, Alan J. Hu, Amir Nahir
nuTAB-BackSpace: Rewriting to Normalize Non-determinism in Post-silicon Debug Traces. CAV (2012)
Flavio M. de Paula, Amir Nahir, Ziv Nevo, Avigail Orni, Alan J. Hu
TAB-BackSpace: unlimited-length trace buffers with zero additional on-chip overhead. DAC (2011)
Flavio M. de Paula, Marcel Gort, Alan J. Hu, Steven J. E. Wilton
BackSpace: Moving Towards Reality. MTV (2008)
Flavio M. de Paula, Marcel Gort, Alan J. Hu, Steven J. E. Wilton, Jin Yang
BackSpace: Formal Analysis for Post-Silicon Debug. FMCAD (2008)
Alessandra M. Passarotti, Jeremy L. Smith, Flavio M. de Paula, J. Huang
Developmental differences in the neural bases of the face inversion effect show progressive tuning of face-selective regions to the upright orientation. NeuroImage 34 (4) (2007)
Flavio M. de Paula, Alan J. Hu
An Effective Guidance Strategy for Abstraction-Guided Simulation. DAC (2007)
Flavio M. de Paula, Alan J. Hu
EverLost: A Flexible Platform for Industrial-Strength Abstraction-Guided Simulation. CAV (2006)