Verification of Circuits Including Black Box Based on TED

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]

Authors

Junhua Wu

This author has not been identified. Look up 'Junhua Wu' in Google

Guangshun Li

This author has not been identified. Look up 'Guangshun Li' in Google

Xinchuang Liu

This author has not been identified. Look up 'Xinchuang Liu' in Google

Guang-Sheng Ma

This author has not been identified. Look up 'Guang-Sheng Ma' in Google