tidy vpi header; extend vpi testcase