Arjen Mets

According to our database, Arjen Mets authored at least 2 papers between 1996 and 2008.

Collaborative distances:

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

2008

Placement-Driven Synthesis Design Closure Tool.

Charles J. Alpert, Nathaniel Hieter, Arjen Mets, Ruchir Puri, Lakshmi N. Reddy, Haoxing Ren, Louise Trevillyan

Proceedings of the Handbook of Algorithms for Physical Design Automation., 2008

1996

The use of random simulation in formal verification.

Florian Krohm, Andreas Kuehlmann, Arjen Mets

Proceedings of the 1996 International Conference on Computer Design (ICCD '96), 1996