Stav dette: Threshold logic: a synthesis approach