This part is its pins. There is no separate device model because the MCU’s own GPIO/PWM/ADC model already is the simulation.
A PIR module output IS a plain digital level, so driving the pin is faithful. Motion is asserted by driving the pad, not by a motion model.
Pins only, by design
Not applicable. No device model to validate — see what is simulated, above.
BOARD_IO
| Pin | Type | Role |
|---|---|---|
VCC | power_in | — |
OUT | output | gpio |
GND | power_in | — |
No manufacturer datasheet is indexed for this part yet, so none is linked here.