Flávio Miana de Paula

According to our database, Flávio Miana de Paula authored at least 3 papers in 2003.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2003

The Chip is Ready. Am I done? On-chip Verification using Assertion Processors.

José Augusto Miranda Nacif, Flávio Miana de Paula, Harry Foster, Claudionor José Nunes Coelho Jr., Antônio Otávio Fernandes

Proceedings of the IFIP VLSI-SoC 2003, 2003

On-Chip Property Verification Using Assertion Processors.

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

Proceedings of the VLSI-SOC: From Systems to Chips, 2003

Refactoring digital hardware designs with assertion libraries.

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.

Proceedings of the Eighth IEEE International High-Level Design Validation and Test Workshop 2003, 2003