1，禁止出现 initial
    2，禁止出现casex，casez
    3，禁止使用“#”表达电路延迟
    4，clock只允许出现在always（@posedge clock）语句中
    5，带有复位器的触发器，要么全部是同步复位，要么全部是异步复位。