Add records to bit_width
Check parameter bounds at analysis time