Currently it is possible to use predefined bit widths, e.g. Int3, but it would be nice if it was possible to set a range on variables and signals and use this to define the number of synthesized bits.
The simulation should verify that the range is not exceed.
Want to back this issue? Post a bounty on it! We accept bounties via Bountysource.