John Ivie, Kwok-Woon Larry Lai. STL - a high level language for simulation and test. In DAC. pages 517-523, 1986. [doi]
@inproceedings{IvieL86,
title = {STL - a high level language for simulation and test},
author = {John Ivie and Kwok-Woon Larry Lai},
year = {1986},
doi = {10.1145/318013.318095},
url = {http://doi.acm.org/10.1145/318013.318095},
tags = {testing},
researchr = {https://researchr.org/publication/IvieL86},
cites = {0},
citedby = {0},
pages = {517-523},
booktitle = {DAC},
}