" Field-Programmable Gate Array Logic Synthesis Using Boolean Satisfiability.POMPES PAR TRANSITIONS MULTIPLES "