Flavio M. de Paula, Alan J. Hu. An Effective Guidance Strategy for Abstraction-Guided Simulation. In Proceedings of the 44th Design Automation Conference, DAC 2007, San Diego, CA, USA, June 4-8, 2007. pages 63-68, IEEE, 2007. [doi]
@inproceedings{PaulaH07,
title = {An Effective Guidance Strategy for Abstraction-Guided Simulation},
author = {Flavio M. de Paula and Alan J. Hu},
year = {2007},
doi = {10.1109/DAC.2007.375126},
url = {http://doi.ieeecomputersociety.org/10.1109/DAC.2007.375126},
tags = {abstraction},
researchr = {https://researchr.org/publication/PaulaH07},
cites = {0},
citedby = {0},
pages = {63-68},
booktitle = {Proceedings of the 44th Design Automation Conference, DAC 2007, San Diego, CA, USA, June 4-8, 2007},
publisher = {IEEE},
}