Ásgeir Th. Eiríksson

Network processors: prospects for practical deployment [Panel 2]

Jonathan S. Turner, James P. G. Sterbenz, Bryan Lyles, 2004, Hot Interconnects.

The Formal Design of 1M-gate ASICs

Ásgeir Th. Eiríksson, 1998, FMCAD.

Integrating formal verification methods with a conventional project design flow

Ásgeir Th. Eiríksson, 1996, DAC '96.

The Formal Design of 1M-gate ASICs

Ásgeir Th. Eiríksson, 2000, Formal Methods Syst. Des..

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

Kenneth L. McMillan, Ásgeir Th. Eiríksson, K. McMillan, 1995, CAV.