Prototyping Generators for On-line Test Vector Generation Based on PSL Properties