Interfaces neurais com milhares de canais geram rajadas de dados que podem travar barramentos em chip se os buffers saturarem. Este artigo prova a segurança formal de roteadores livres de deadlock otimizados para disparos neurais.
Ao multiplexar links físicos em canais virtuais independentes, pacotes retidos não bloqueiam fluxos para outras direções, eliminando ciclos de dependência circular.
Sintetizado em tecnologia 22nm FD-SOI, cada roteador assíncrono ocupa apenas 0,012 mm² de silício e consome menos de 450 nanowatts em espera.