Laurence Pierre. A formal framework for testing with assertion checkers in mixed-signal simulation. In 19th IEEE International Conference on Electronics, Circuits and Systems, ICECS 2012, Seville, Spain, December 9-12, 2012. pages 284-287, IEEE, 2012. [doi]
@inproceedings{Pierre12-1,
title = {A formal framework for testing with assertion checkers in mixed-signal simulation},
author = {Laurence Pierre},
year = {2012},
doi = {10.1109/ICECS.2012.6463745},
url = {http://dx.doi.org/10.1109/ICECS.2012.6463745},
researchr = {https://researchr.org/publication/Pierre12-1},
cites = {0},
citedby = {0},
pages = {284-287},
booktitle = {19th IEEE International Conference on Electronics, Circuits and Systems, ICECS 2012, Seville, Spain, December 9-12, 2012},
publisher = {IEEE},
isbn = {978-1-4673-1259-2},
}