Ásgeir Th. Eiríksson. The Formal Design of 1M-gate ASICs. Formal Methods in System Design, 16(1):7-22, 2000.
@article{Eiriksson00,
title = {The Formal Design of 1M-gate ASICs},
author = {Ásgeir Th. Eiríksson},
year = {2000},
tags = {design},
researchr = {https://researchr.org/publication/Eiriksson00},
cites = {0},
citedby = {0},
journal = {Formal Methods in System Design},
volume = {16},
number = {1},
pages = {7-22},
}