Functional Fault Modeling And Test Vector Development For Vlsi Systems