quasi-delay-insensitive circuit

方法如B方法（英语：B-Method）中，它允许从它们的规定形式化的导出程序。 守卫命令适合于准延迟不敏感电路（英语：quasi-delay-insensitive circuit）设计，因为重复允许不同命令选择的任意相对延迟。在这种应用之，在电路中驱动一个节点y的逻辑门构成自两个守卫命令如下： PullDownGuard