@ARTICLE{,
author = {},
journal = {IEEE Design & Test of Computers},
title = {Design Automation},
year = {1985},
volume = {2},
number = {},
pages = {16-17},
keywords={null},
doi = {10.1109/MDT.1985.294679},
url = {doi.ieeecomputersociety.org/10.1109/MDT.1985.294679},
ISSN = {0740-7475},
month={01}
}