Browsing by author "Sahraoui, Z."
Now showing items 1-3 of 3
-
Search space reduction through clustering in test generation
Sahraoui, Z.; Six, Paul; Bolsens, Ivo; De Man, Hugo (1995) -
Techniques for reducing the number of decisions and backtracks in combinational test generation
Sahraoui, Z.; Catthoor, Francky; Six, Paul; De Man, Hugo (1998) -
Timing optimization by bit-level arithmetic transformations
Rynders, Luc; Sahraoui, Z.; Six, Paul; De Man, Hugo (1995)