Test Generation of Optical Logic Circuit Based on Binary Decision Diagram | IEEE Conference Publication | IEEE Xplore