A new design approach for RSFQ logic circuits based on the binary decision diagram