当然可以! 这是一个使用ST语言编写的S7-1200的CRC校验程序的示例：

```plaintext

VAR

    input_string: STRING := 'Hello, world!';  (* 输入的字符串 *)

    crc: WORD := 0;                           (* CRC校验结果 *)

    polynomial: WORD := 0x8005;               (* CRC校验多项式 *)

    i, j: INT := 0;                           (* 循环变量 *)

    bit: BOOL := FALSE;                       (* 用于位操作 *)

    temp: WORD := 0;                          (* 临时变量 *)

END_VAR

(* 执行CRC校验 *)

FOR i := 1 TO LEN(input_string) DO

    temp := INT_TO_WORD(ASCII(input_string[i])) XOR (BIT_TO_INT(crc SHR 8));

    FOR j := 0 TO 7 DO

        bit := BOOL_TO_BIT(BIT_TO_BOOL(temp BIT_AND 0x0001) XOR BIT_TO_BOOL(crc BIT_AND 0x0001));

        crc := crc SHR 1;

        temp := temp SHR 1;

        IF bit THEN

            crc := crc XOR polynomial;

        END_IF;

    END_FOR;

END_FOR

(* 输出CRC校验结果 *)

SYSTEM.DBW100 := crc;

```

在这个示例中，我们假设输入的字符串为"Hello, world!"，需要进行CRC校验的数据存在input_string变量中。CRC校验多项式为0x8005，生成的CRC校验结果将被存储在DBW100数据块中。

请注意，该示例仅用于演示ST语言中的CRC校验程序的基本原理，可以根据实际需求进行修改和适应。