2-state and 4-state value sets are for simulation and have no meaning in synthesis. Real data types are not synthesizable. So, there is a risk of a functional mismatch between simulation and the synthesized imp