Jun Yuan, Ken Albin, Adnan Aziz, Carl Pixley. Constraint synthesis for environment modeling in functional verification. In Proceedings of the 40th Design Automation Conference, DAC 2003, Anaheim, CA, USA, June 2-6, 2003. pages 296-299, ACM, 2003. [doi]
@inproceedings{YuanAAP03,
title = {Constraint synthesis for environment modeling in functional verification},
author = {Jun Yuan and Ken Albin and Adnan Aziz and Carl Pixley},
year = {2003},
doi = {10.1145/775832.775909},
url = {http://doi.acm.org/10.1145/775832.775909},
tags = {meta-model, modeling, constraints, Meta-Environment, meta-objects},
researchr = {https://researchr.org/publication/YuanAAP03},
cites = {0},
citedby = {0},
pages = {296-299},
booktitle = {Proceedings of the 40th Design Automation Conference, DAC 2003, Anaheim, CA, USA, June 2-6, 2003},
publisher = {ACM},
isbn = {1-58113-688-9},
}