extensions/ALTERA/SPV_ALTERA_blocking