Gabriel Marcilio

According to our database, Gabriel Marcilio authored at least 1 paper in 2009.

Collaborative distances:

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

2009

A novel verification technique to uncover out-of-order DUV behaviors.

Gabriel Marcilio, Luiz C. V. dos Santos, Bruno C. Albertini, Sandro Rigo

Proceedings of the 46th Design Automation Conference, 2009