Sayantan Das, Rizi Mohanty, Pallab Dasgupta, P. P. Chakrabarti
Synthesis of system verilog assertions
DATE, 2006.
@inproceedings{DATE-DF-2006-DasMDC,
author = "Sayantan Das and Rizi Mohanty and Pallab Dasgupta and P. P. Chakrabarti",
booktitle = "{Proceedings of the 10th Conference on Design, Automation and Test in Europe: Designers’ Forum}",
doi = "10.1145/1131355.1131371",
isbn = "3-9810801-0-6",
pages = "70--75",
publisher = "{European Design and Automation Association, Leuven, Belgium}",
title = "{Synthesis of system verilog assertions}",
year = 2006,
}
Tags: