José Augusto Miranda Nacif, Claudionor Nunes Coelho, Harry Foster, Flávio Miana de Paula, Edjard Mota, Márcia Roberta Falcão Mota, Antônio Otávio Fernandes. On-Chip Property Verification Using Assertion Processors. In Manfred Glesner, Ricardo Augusto da Luz Reis, Leandro Soares Indrusiak, Vincent John Mooney III, Hans Eveking, editors, VLSI-SOC: From Systems to Chips - IFIP TC 10/ WG 10.5 Twelfth International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC 2003), December 1-3, 2003, Darmstadt, Germany. Volume 200 of IFIP, pages 101-117, Springer, 2003. [doi]
@inproceedings{NacifCFPMMF03,
title = {On-Chip Property Verification Using Assertion Processors},
author = {José Augusto Miranda Nacif and Claudionor Nunes Coelho and Harry Foster and Flávio Miana de Paula and Edjard Mota and Márcia Roberta Falcão Mota and Antônio Otávio Fernandes},
year = {2003},
doi = {10.1007/0-387-33403-3_7},
url = {http://dx.doi.org/10.1007/0-387-33403-3_7},
researchr = {https://researchr.org/publication/NacifCFPMMF03},
cites = {0},
citedby = {0},
pages = {101-117},
booktitle = {VLSI-SOC: From Systems to Chips - IFIP TC 10/ WG 10.5 Twelfth International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC 2003), December 1-3, 2003, Darmstadt, Germany},
editor = {Manfred Glesner and Ricardo Augusto da Luz Reis and Leandro Soares Indrusiak and Vincent John Mooney III and Hans Eveking},
volume = {200},
series = {IFIP},
publisher = {Springer},
isbn = {978-0-387-33402-8},
}