Etude et développement d'un simulateur symbolique comportemental de circuits digitaux — Larbi Hassouni