TECHNIQUE DE VÉRIFICATION EN TEMPS RÉEL DE CIRCUITS ARITHMÉTIQUES SANS MÉMOIRE BASÉS SUR LES MATHÉMATIQUES VÉDIQUES. RRST-EE [Internet]. 17 nov. 2025 [cité 2 mai 2026];70(4):519-24. Disponible sur: https://journal.iem.pub.ro/rrst-ee/article/view/1253