Jan B. Freuer, Göran Jerke, Joachim Gerlach, Wolfgang Nebel
On the Verification of High-Order Constraint Compliance in IC Design
DATE, 2008.
@inproceedings{DATE-2008-FreuerJGN,
author = "Jan B. Freuer and Göran Jerke and Joachim Gerlach and Wolfgang Nebel",
booktitle = "{Proceedings of the 12th Conference on Design, Automation and Test in Europe}",
doi = "10.1109/DATE.2008.4484655",
isbn = "978-3-9810801-3-1",
pages = "26--31",
publisher = "{IEEE}",
title = "{On the Verification of High-Order Constraint Compliance in IC Design}",
year = 2008,
}