MuTaTe: an efficient design for testability technique for multiplexor based circuits
Proceedings of the 13th ACM Great Lakes symposium on VLSI
On finding the minimum test set of a BDD-based circuit
GLSVLSI '06 Proceedings of the 16th ACM Great Lakes symposium on VLSI
FSM Encoding for BDD Representations
International Journal of Applied Mathematics and Computer Science
Hi-index | 0.00 |