Kiyoharu Hamaguchi. Symbolic simulation heuristics for high-level design descriptions with uninterpreted functions. In Proceedings of the Sixth IEEE International High-Level Design Validation and Test Workshop 2001, Monterey, California, USA, November 7-9, 2001. pages 25-30, IEEE Computer Society, 2001. [doi]
@inproceedings{Hamaguchi01,
title = {Symbolic simulation heuristics for high-level design descriptions with uninterpreted functions},
author = {Kiyoharu Hamaguchi},
year = {2001},
doi = {10.1109/HLDVT.2001.972803},
url = {http://doi.ieeecomputersociety.org/10.1109/HLDVT.2001.972803},
researchr = {https://researchr.org/publication/Hamaguchi01},
cites = {0},
citedby = {0},
pages = {25-30},
booktitle = {Proceedings of the Sixth IEEE International High-Level Design Validation and Test Workshop 2001, Monterey, California, USA, November 7-9, 2001},
publisher = {IEEE Computer Society},
isbn = {0-7695-1411-1},
}