RCBDD synthesis.