Luciano Ost Aline Mello José Palma Fernando Gehm Moraes Ney Calazans MAIA: a framework for networks on chip generation and verification. 49-52 2005 conf/aspdac/2005 ASP-DAC http://doi.acm.org/10.1145/1120725.1120741 db/conf/aspdac/aspdac2005.html#OstMPMC05