Basic Pulse Width Modulator

PWM sets an LED's brightness or a motor's speed by switching fully on and off, with the on-time set by a duty cycle register.

The module maintains a free-running 8-bit internal counter that increments on every clock cycle. It compares this counter against the requested 8-bit duty cycle. When the counter is strictly less than the duty cycle, the output is driven high. When the counter reaches or exceeds the duty cycle, the output is driven low. To ensure true 0% and 100% states, a duty cycle of 8'd0 must force the output to 0 continuously, and a duty cycle of 8'd255 must force the output to 1 continuously.

Clock edge: posedge clk
Reset type: Asynchronous
Reset polarity: Active-low (rst_n)
Output values on reset: The internal counter is cleared to 8'd0 and pwm_out is driven to 1'b0.
Priority rules: Reset takes priority over all other operations. Both the internal counter and pwm_out are updated on the positive edge of clk. During this update, pwm_out is evaluated using the counter's value before it increments.

Worked Trace:
Cycle 1: rst_n=0 → cnt=0, pwm_out=0 (async reset)
Cycle 2: rst_n=1, duty=2 → cnt=1, pwm_out=1 (evaluates 0 < 2)
Cycle 3: duty=2 → cnt=2, pwm_out=1 (evaluates 1 < 2)
Cycle 4: duty=2 → cnt=3, pwm_out=0 (evaluates 2 >= 2)
Cycle 5: duty=2 → cnt=4, pwm_out=0 (evaluates 3 >= 2)

• clk is positive-edge triggered.
• rst_n is asynchronous and active-low.
• On reset, the internal counter must be 8'd0 and pwm_out must be 1'b0.
• pwm_out must be a registered output, updating on the same clock edge that the counter increments.
• If duty is 8'd0, pwm_out must remain 1'b0 continuously.
• If duty is 8'd255, pwm_out must remain 1'b1 continuously.
• The 8-bit counter naturally wraps from 255 to 0; no explicit reset of the counter is needed at 255.