Using Formal Verification/Analysis Methods on the Critical Path in System Design: A Case Study. - Ásgeir Th. Eiríksson; Kenneth L. McMillan (CAV, 1995)

Integrating Formal Verification Methods with A Conventional Project Design Flow. - Ásgeir Th. Eiríksson (DAC, 1996)

The Formal Design of 1M-gate ASICs. - Ásgeir Th. Eiríksson (Formal Methods Syst. Des., 2000)

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 (Hot Interconnects, 2004)