COST: Circuit Optimization SysTem in ASIC library development environment | IEEE Conference Publication | IEEE Xplore