IMPORTANT: These papers are copyright 2003-2012 by ACM, IEEE, Springer-Verlag and UBC. The definitive version of these paper can be bound on their respective web-sites. You can download these local copies for personal use, but you CANNOT distribute them.
|
2012 |
BackSpace: Formal Analysis for Post-Silicon Debug Traces, Flavio M. de Paula.
Ph.D. Thesis.
[Defense Programmee ] [bibtex]
nuTAB-BackSpace: Rewriting to Normalize Non-Determinism in Post-Silicon Debug Traces, Flavio M. de Paula, Alan J. Hu, Amir Nahir. In Proceedings of the 24th International Conference on Computer Aided Verification (CAV'12), USA [bibtex]
Lazy Suspect-Set Computation: Fault Diagnosis for Deep Electrical Bugs, Dipanjan Sengupta, Flavio M. de Paula, Alan J. Hu, Andre Ivanov, Andreas Veneris. In Proceedings of the Great Lakes Very Large Scale Integration Conference (GLVLSI'12), USA [bibtex]
|
2011 |
TAB-BackSpace: Unlimited-Length Trace Buffers with Zero-Additional On-Chip Overhead, Flavio M. de Paula, Amir Nahir, Ziv Nevo, Avigail Orni, Alan J. Hu. Design Automation Conference (DAC'11), USA [bibtex]
Formal-Analysis-Based Trace Computation for Post-Silicon Debug Gort, M., De Paula, F. M., Kuan, J. J. W., Aamodt, T. M., Hu, A. J., Wilton, S. J. E., Yang, J. IEEE Transactions on Very Large Scale Integration (VLSI) Systems, vol. PP, issue 99, pp. 1-14, year 2011 [bibtex]
|
2010 |
Industrial Strength Explicit State Model Checking, Brad Bingham, Jesse Bingham, Flavio M. de Paula, John Erickson, Gaurav Singh, Mark Reitblatt. International Workshop on Parallel and Distributed Methods in Verification (PDMC'10), The Netherlands [bibtex]
|
2008 |
BackSpace: Moving Towards Reality, Flavio M. de Paula, Marcel Gort,Alan J. Hu, Steve Wilton. Microprocessor Test and Verification (MTV'08), USA [bibtex]
BackSpace: Formal Analysis for Post-Silicon Debug, Flavio M. de Paula, Marcel Gort, Alan J. Hu, Steve Wilton, Jin Yang. Formal Methods in Computer Aided Design (FMCAD'08), USA [bibtex]
|
2007 |
An Effective Guidance Strategy for Abstraction-Guided Simulation, Flavio M. de Paula, Alan J. Hu. Design Automation Conference (DAC'07), USA [bibtex]
|
2006 |
EverLost: A Flexible Platform for Industrial-Strength Abstraction-Guided Simulation, Flavio M. de Paula, Alan J. Hu. Computer Aided Verification (CAV'06), USA [bibtex]
|
2003 |
Refactoring Digital Hardware Designs with Assertion Libraries , Flavio M. de Paula, Claudionor N. Coelho Jr., Harry Foster, Jose A. Nacif, Antonio O. Fernandes, Diogenes C. da Silva Jr. IEEE International High-Level Design Validation and Test Workshop (HLDVT'03), San Francisco, USA [bibtex]
The Chip is Ready. Am I done? On-chip Verification using Assertion Processors,Jose A. Nacif, Flavio M. de Paula, Claudionor N. Coelho Jr., Harry Foster, Fernando C. Sica, Antonio O. Fernandes. International Conference on Very Large Scale Integration - System-on-Chip (IFIP VLSI-SoC'03), Germany [bibtex]
An Assertion Library for On-Chip White-Box Verification at Run-Time, Jose A. Nacif, Flavio M. de Paula, Harry Foster, Claudionor N. Coelho Jr., Fernando C. Sica, Antonio O. Fernandes, Diogenes Cecilio da Silva Jr, IEEE Latin American Test Workshop (LATW'03), Brazil [bibtex]
|
Prior to 1998 |
Mixing Ternary Logic and Symbolic Simulation in HW/SW co-Simulation in Absence of Information, Flavio M. de Paula, P. N. Soares, J.C. Melo, Claudionor N. Coelho Jr., Antonio O. Fernandes. Synthesis and System Integration of Mixed Technology (SASIMI'97), Japan
Mixing Symbolic and Ternary Simulation Techniques for the Verification of Processor-Based Systems, Flavio M. de Paula, P. N. Soares, J.C. Melo, Claudionor N. Coelho Jr., Antonio O. Fernandes. 9th Brazilian Symposium of Computer Architecture, Brazil, 1997
A Rapid Reconfigurable VLIW co-Processor for Ternary Emulation of Digital Designs, Flavio M. de Paula, W. Padrão, J. Oliveira, Julio C. Melo, Claudionor N. Coelho Jr., Antonio O. Fernandes. 1st Workshop of Reconfigurable (WAR), Brazil, 1997
"RAM Testing Algorithms Library in C", Flavio M. de Paula, Antonio O. Fernandes, Marcos P. Oliveira, Claudionor N. Coelho. Technical Report DCC015-97 - Computer Science Department - Federal University of Minas Gerais, Brazil
"Rapid Prototyping of Embedded I/O Sub-systems", Claudionor N. Coelho Jr., Marcos P. Oliveira, Marcelo R. P. Miranda, Cristiano Gonçalves, Flavio M. de Paula, Antônio O. Fernandes, Mário F.M. Campos. Brazilian Microeletronics Symposium (SBMicro), Brazil, 1996
" C++ Object-Oriented Template Matrix Class Library", Flavio M. de Paula, E.J Silva, R.C. Mesquita. 2nd Brazilian Conference in Electromagnetism (CBmag), Brazil, 1996
" Sistemas de Matrizes Esparsas Orientado por Objetos em C++", Flavio M. de Paula, E.J Silva, R.C. Mesquita. 1st Brazilian Conference in Electromagnetism (CBmag), Brazil, 1995
" Implementação de Matrizes Complexas Esparsas em C++ Utilizando o Enfoque Orientado por Objetos", Flavio M. de Paula, E.J. Silva, R.C.,Mesquita. 13º Congresso de Iniciação Científca e Tecnológica em Engenharia, Brazil, 1994