...
首页> 外文期刊>IEEE Design & Test of Computers Magazine >xMAS: Quick Formal Modeling of Communication Fabrics to Enable Verification
【24h】

xMAS: Quick Formal Modeling of Communication Fabrics to Enable Verification

机译:xMAS: Quick Formal Modeling of Communication Fabrics to Enable Verification

获取原文
获取原文并翻译 | 示例
           

摘要

TIME-TO-MARKET IS ONE of the major constraints of system-on-chip (SoC) designs. Project teams usually rely on standard IP blocks that are reused across different products to achieve quick turnaround time. Therefore, efficient system-level interconnect solutions that can seamlessly glue different IP blocks, become an integral component of SoC designs. However, if not designed carefully, deadlocks and livelocks in a system-level interconnect can present significant challenges to quick SoC integration. Distributed nature of the system-level interconnect and tricky interaction between many IP blocks make this problem hard to understand and debug. This is in strong contrast to other functional problems, which may often be narrowed down to a few blocks in the design that are well understood by both the implementers of the block, as well as the system architects. Furthermore, deadlock problems at the system level are hard to fix after they are found: to fix them cheaply requires sacrificing performance by limiting concurrency, and to fix them properly may require altering many blocks.

著录项

获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号