在定义验证代码中变量的bit和logic类型时，对仿真会产生哪些影响呢？

桂花酒

        本人是刚入职IC验证大半年的小白，在写seq时，发现之前版本的代码在定义变量时用的都是bit类型，而我在自学的过程中，基本上用的都是logic类型，想请教一个问题：这两者对于仿真有啥影响嘛？或者说，如果用logic类型定义变量 ，是不是可以检测出x态传播的现象（在用bit类型定义时，后仿中发现x态传播，而在前仿中并未出现）？