6.1.2 过程:VOID、WAIT 语句支持 在嵌入式实时系统、硬件描述语言(HDL)仿真环境,以及高确定性控制逻辑的编译器前端中,“过程”(Procedure)从来不是语法糖的代名词——它是时间语义的锚点,是控制流与物理世界节拍对齐的契约。当我们翻开《6.1 函数与过程》这一章,真正需要叩问的,并非“过程是什么”,而是:“当一个过程被声明为 ,它究竟放弃了什么?又以何种机制换取了确定性?当一条 语句插入其中,编译器如何将‘等待’这个人类直觉概念,翻译成寄存器级的时序约束、状态机跳转与调度器干预?” 这正是本节——6.1.2 过程:VOID、WAIT 语句支持——所承载的技术重量。