首页>
外国专利>
Clock-gated model transformation for asynchronous testing of logic targeted for free-running, data-gated logic
Clock-gated model transformation for asynchronous testing of logic targeted for free-running, data-gated logic
展开▼
机译:时钟门控模型转换,用于异步测试针对自由运行的数据门控逻辑的逻辑
展开▼
页面导航
摘要
著录项
相似文献
摘要
Asynchronous behavior of a circuit is modeled by modifying latches in a netlist to add an extra port to the latches, e.g., a single-port latch is transformed into a dual-port latch. Each input port has an enable line and a data input. The data input in the added port is a feedback line from the latch output, and the enable line in the added port is the logical NOR of all of the original enable lines. By adding this extra latch port in the higher-level model, it becomes possible to introduce assertion logic to ensure that one and only one latch port for a given latch is ever active during the same simulation cycle. The model can then be tested earlier in the design methodology prior to the availability of the post-synthesis netlist. The model can also be used in both simulation and formal or semi-formal verification.
展开▼