Junhua Wu, Guangshun Li, Xinchuang Liu, Guang-Sheng Ma. Verification of Circuits Including Black Box Based on TED. In 10th International Conference on Computer-Aided Design and Computer Graphics, CAD/Graphics 2007, Beijing, China, 15-18 October, 2007. pages 561-564, IEEE, 2007. [doi]
Abstract is missing.