Abstract
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.

This publication has 11 references indexed in Scilit: