IBIS model formulation and extraction for SPI evaluation | IEEE Conference Publication | IEEE Xplore