Ásgeir Th. Eiríksson

According to our database, Ásgeir Th. Eiríksson authored at least 4 papers between 1995 and 2004.

Collaborative distances:

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

2004

Network processors: prospects for practical deployment [Panel 2].

James P. G. Sterbenz, J. Bryan Lyles, Ásgeir Th. Eiríksson, Steve Klinger, Christoph L. Schuba, Jonathan S. Turner, Raj Yavatkar

Proceedings of the 12th Annual IEEE Symposium on High Performance Interconnects, 2004

2000

The Formal Design of 1M-gate ASICs.

Ásgeir Th. Eiríksson

Formal Methods Syst. Des., 2000

1996

Integrating Formal Verification Methods with A Conventional Project Design Flow.

Ásgeir Th. Eiríksson

Proceedings of the 33st Conference on Design Automation, 1996

1995

Using Formal Verification/Analysis Methods on the Critical Path in System Design: A Case Study.

Ásgeir Th. Eiríksson, Kenneth L. McMillan

Proceedings of the Computer Aided Verification, 1995