Flávio Miana de Paula

Publication Activity (10 Years)

Years Active: 2003-2003
Publications (10 Years): 0

Publications

José Augusto Miranda Nacif, Flávio Miana de Paula, Harry Foster, Claudionor José Nunes Coelho Jr., Antônio Otávio Fernandes
The Chip is Ready. Am I done? On-chip Verification using Assertion Processors. VLSI-SOC (2003)
José Augusto Miranda Nacif, Claudionor Nunes Coelho, Harry Foster, Flávio Miana de Paula, Edjard Mota, Márcia Roberta Falcão Mota, Antônio Otávio Fernandes
On-Chip Property Verification Using Assertion Processors. VLSI-SoC (Selected Papers) (2003)
Flávio Miana de Paula, Claudionor José Nunes Coelho Jr., Harry Foster, José Augusto Miranda Nacif, Joseph Tompkins, Antônio Otávio Fernandes, Diógenes Cecilio da Silva Jr.
Refactoring digital hardware designs with assertion libraries. HLDVT (2003)