A methodology for the top-down synthesis of semiconductor process flows | IEEE Conference Publication | IEEE Xplore