Richard Bartolotti, Tom Burd, Brian McMinn, Arun Chandra. Constraint Management and Checking in Template-Based Circuit Designs. In 10th International Workshop on Microprocessor Test and Verification, MTV 2009, Austin, Texas, USA, 7-9 December 2009. pages 107-113, IEEE Computer Society, 2009. [doi]
@inproceedings{BartolottiBMC09,
title = {Constraint Management and Checking in Template-Based Circuit Designs},
author = {Richard Bartolotti and Tom Burd and Brian McMinn and Arun Chandra},
year = {2009},
doi = {10.1109/MTV.2009.18},
url = {http://dx.doi.org/10.1109/MTV.2009.18},
tags = {rule-based, constraints},
researchr = {https://researchr.org/publication/BartolottiBMC09},
cites = {0},
citedby = {0},
pages = {107-113},
booktitle = {10th International Workshop on Microprocessor Test and Verification, MTV 2009, Austin, Texas, USA, 7-9 December 2009},
publisher = {IEEE Computer Society},
isbn = {978-0-7695-4000-9},
}