Can anyone help me with the command for LEC-XL to generate modules with Hexadecimal values (instead of Decimal) of inputs signals ?
1.) add #( x(23) , y (1'h0) , z(1)) (.clk (clk) .reset(rst))
LEC output : add_x23_y0_Z1
2). applied renaming rule : set naming rule -parameter "_"
LEC ouput : add_23_0_Z1
3). Desired output : add_23_000000_Z1
Command required to generate module name as above .
I believe LEC relies on the way the fields are defined. In your case, your definitions do not match what your expectations are hence LEC has no way of guessing what it is that you want