* one_hot(): returns true when slv is one hot coded * is_unknown(): return true when slv contains bits with unknown value * uint_to_slv(): converts natural to slv (unsigned) * slv_to_uint(): converts slv to natural (unsigned)