|
Search the dblp DataBase
Ásgeir Th. Eiríksson:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Ásgeir Th. Eiríksson, Kenneth L. McMillan
Using Formal Verification/Analysis Methods on the Critical Path in System Design: A Case Study. [Citation Graph (0, 0)][DBLP] CAV, 1995, pp:367-380 [Conf]
- Ásgeir Th. Eiríksson
Integrating Formal Verification Methods with A Conventional Project Design Flow. [Citation Graph (0, 0)][DBLP] DAC, 1996, pp:666-671 [Conf]
- Ásgeir Th. Eiríksson
The Formal Design of 1M-gate ASICs. [Citation Graph (0, 0)][DBLP] FMCAD, 1998, pp:49-63 [Conf]
- Ásgeir Th. Eiríksson
The Formal Design of 1M-gate ASICs. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 2000, v:16, n:1, pp:7-22 [Journal]
Search in 0.001secs, Finished in 0.001secs
|