过程检查 meaning in English
in-proce i ection
in-process inspection
Examples
- Additionally , verification inspects code to determine whether the msil has been correctly generated , because incorrect msil can lead to a violation of the type safety rules
另外，验证过程检查代码以确定msil是否已正确生成，这是因为不正确的msil会导致违反类型安全规则。 - During just - in - time compilation , an optional verification process examines the metadata and microsoft intermediate language msil of a method to be jit - compiled into native machine code to verify that they are type safe
在实时( jit )编译期间，可选的验证过程检查要实时编译为本机代码的方法的元数据和microsoft中间语言( msil ) ，以验证它们是否为类型安全。 - An algorithm to resolve the coupling effect problem is proposed during the cross point assignment ( cpa ) stage . in the algorithm , the priority queue concept and the rip - up and reroute strategy are combined to control crosstalk noise caused by interconnect coupling capacitance . first , the nets are arranged into different priority queues according to their weighted sum of their length and criticality . then , the cpa problem for one queue of nets is translated into a linear assignment problem . after the assignment of one queue of nets , a post - cpa checking routine is performed to check and rip up the net pairs which violate the crosstalk noise constraint and then push them into the next queue to be reassigned . the algorithm is tested by a set of bench mark examples , and the experimental results are promising
提出了一种在过点分配阶段解决噪声耦合效应问题的算法.该算法采用优先队列同拆线重布策略相结合的方法,控制由互连线耦合电容引起的串扰噪声.算法中,首先按照线长和约束限制,将线网划分到若干个优先队列中.然后,将每个优先队列的过点分配问题转换为线性分配问题.在完成一个线网队列的分配后,通过过点分配后处理过程检查串扰约束满足情况,对违反约束的线网对进行拆除,放入后续线网队列进行重新分配.实验数据表明,该算法能够取得好的效果 - Abstract : an algorithm to resolve the coupling effect problem is proposed during the cross point assignment ( cpa ) stage . in the algorithm , the priority queue concept and the rip - up and reroute strategy are combined to control crosstalk noise caused by interconnect coupling capacitance . first , the nets are arranged into different priority queues according to their weighted sum of their length and criticality . then , the cpa problem for one queue of nets is translated into a linear assignment problem . after the assignment of one queue of nets , a post - cpa checking routine is performed to check and rip up the net pairs which violate the crosstalk noise constraint and then push them into the next queue to be reassigned . the algorithm is tested by a set of bench mark examples , and the experimental results are promising
文摘:提出了一种在过点分配阶段解决噪声耦合效应问题的算法.该算法采用优先队列同拆线重布策略相结合的方法,控制由互连线耦合电容引起的串扰噪声.算法中,首先按照线长和约束限制,将线网划分到若干个优先队列中.然后,将每个优先队列的过点分配问题转换为线性分配问题.在完成一个线网队列的分配后,通过过点分配后处理过程检查串扰约束满足情况,对违反约束的线网对进行拆除,放入后续线网队列进行重新分配.实验数据表明,该算法能够取得好的效果