In order to extract the control constraints, an instr-state-ctrlsig table is created to store the control signal name whose value is high for every state of each instruction.
为了提取控制约束,根据PUT的RTL描述创建一个instr-state-ctrlsig表,来记录每条指令的每个状态下值为高的那些控制信号名。
参考来源 - 基于指令的处理器时延测试产生方法·2,447,543篇论文数据，部分数据来源于NoteExpress
文中讨论了控制约束的加入，使用了直接搜索算法。
Control constraints are discussed and the direct search algorithm is employed.
你会知道如何设置布裤子和碰撞，并控制约束，以避免碰撞约束崩溃。
You will know how to set collision between pants and a cloth, and control a constraint to avoid collision-constraint crash.
因此可以通过合理控制约束的范围、性质和强度以达到控制裂缝的目的。
Therefore, we can control the wall's cracks by controlling the restraint's range, properties and strength.
应用推荐