SPLIT circuit model for test generation
Wu-Tung Cheng · 2003
A novel circuit model, SPLIT, is presented which is a modified 9-valued circuit model. SPLIT has the precision of the 9-valued model and the simplicity of the 5-valued model. So that its D-algorithm has better performance than that of the 5-valued or the 9-valued model.>