Yann Oddos, Katell Morin-Allory, Dominique Borrione. On-Line Test Vector Generation from Temporal Constraints Written in PSL. In IFIP VLSI-SoC 2006, IFIP WG 10.5 International Conference on Very Large Scale Integration of System-on-Chip, Nice, France, 16-18 October 2006. pages 397-402, IEEE, 2006. [doi]
@inproceedings{OddosMB06,
title = {On-Line Test Vector Generation from Temporal Constraints Written in PSL},
author = {Yann Oddos and Katell Morin-Allory and Dominique Borrione},
year = {2006},
doi = {10.1109/VLSISOC.2006.313221},
url = {http://dx.doi.org/10.1109/VLSISOC.2006.313221},
tags = {testing, constraints},
researchr = {https://researchr.org/publication/OddosMB06},
cites = {0},
citedby = {0},
pages = {397-402},
booktitle = {IFIP VLSI-SoC 2006, IFIP WG 10.5 International Conference on Very Large Scale Integration of System-on-Chip, Nice, France, 16-18 October 2006},
publisher = {IEEE},
}