MAIA - a framework for networks on chip generation and verification | IEEE Conference Publication | IEEE Xplore