" SATISFIABILITY-BASED DEBUGGING OF SEQUENTIAL AND HIERARCHICAL DESIGNS.POMPES PAR TRANSITIONS MULTIPLES "