verilog to vital

[kapil_kaushik]

Following is a part of the verilog state table

// d g : q- : q+
// --- --- : --- : ---
? 0 : ? : - ;//here - represents no change in output

What is the equivalent for the '-' in vital??

Also in the following vitalstatetable


// d g : q- : q+
// --- --- : --- : ---
? 0 : ? : - ;//here - represents no change in output

What is the equivalent for the '-' in vital??

Also in the following vitalstatetable
------------------------------------------
-- vio CK_ipd D_ipd ste | U_N0 --
------------------------------------------
('X', '-', '-', '-', 'X'),
('-', '/', '0', '-', '0'),
('-', '/', '1', '-', '1'),
('-', '/', 'X', '-', 'X'),
-- X suppression
('-', '-', '0', '0', 'S'),
('-', '-', '1', '1', 'S'),
('-', 'B', '-', '-', 'S'));

what do we mean by -x suppression?? Where do we need it and
is it useful??

One more thing. Is there any site which has some documentation
on verilog to vital conversion or some examples related to that??

Thanks in advance
Kapil