Flavio M De Paula

Flavio M De Paula

University of British Columbia - Vancouver / Canada
Others
AD Scientific Index ID: 666205
person_outline Flavio M De Paula's MOST POPULAR ARTICLES
1-) Backspace: Formal analysis for post-silicon debugFM De Paula, M Gort, AJ Hu, SJE Wilton, J Yang2008 Formal Methods in Computer-Aided Design, 1-10, 20081022008
2-) Industrial strength distributed explicit state model checkingB Bingham, J Bingham, FM De Paula, J Erickson, G Singh, M Reitblatt2010 Ninth International Workshop on Parallel and Distributed Methods in …, 2010542010
3-) An effective guidance strategy for abstraction-guided simulationFM De Paula, AJ Hu2007 44th ACM/IEEE Design Automation Conference, 63-68, 2007512007
4-) TAB-BackSpace: Unlimited-length trace buffers with zero additional on-chip overheadFM De Paula, A Nahir, Z Nevo, A Orni, AJ HuProceedings of the 48th Design Automation Conference, 411-416, 2011382011
5-) The Chip is Ready. Am I done? On-chip Verification using Assertion Processors.JAM Nacif, FM de Paula, H Foster, CJN Coelho Jr, AO FernandesVLSI-SOC, 111-, 2003292003