behavioral-synthesis

(1)