Seguir
James D Pollard
James D Pollard
Afiliação desconhecida
Email confirmado em acm.org - Página inicial
Título
Citado por
Citado por
Ano
Formal verification of high-level synthesis
Y Herklotz, JD Pollard, N Ramanathan, J Wickerson
Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-30, 2021
292021
O sistema não pode efectuar a operação agora. Tente mais tarde.