Create vfa.v