Application des BDDs dans la conception de circuits intégrés