Testability considerations in technology mapping | IEEE Conference Publication | IEEE Xplore