Method and system for reducing migration errors

    公开(公告)号:US11055455B1

    公开(公告)日:2021-07-06

    申请号:US16788949

    申请日:2020-02-12

    摘要: A method (of reducing errors in a migration a first netlist to a second netlist, the first and second netlists representing corresponding first and second implementations of a circuit design under corresponding first and second semiconductor process technology (SPT) nodes, at least the second netlist being stored on a non-transitory computer-readable medium), the method including: inspecting a timing constraint list for addition candidates, the timing constraint list corresponding to an initial netlist which represents the second implementation; relative to a logic equivalence check (LEC) context, increasing a number of comparison points based on the addition candidates, resulting in first version of the second netlist; performing a LEC between the first netlist and the first version of the second netlist, thereby identifying migration errors; and revising the first version of the second netlist to reduce the migration errors, thereby resulting in a second version of the second netlist.

    Image processing apparatus having overlapping sub-regions

    公开(公告)号:US11343433B2

    公开(公告)日:2022-05-24

    申请号:US16595088

    申请日:2019-10-07

    摘要: An apparatus includes an image sensor having a light sensing region, the light sensing region being partitioned into a plurality of sub-regions, a first sub-region of the plurality of sub-regions has a first size, a second sub-region of the plurality of sub-regions has a second size different from the first size, and the second sub-region partially overlaps with the first sub-region. The apparatus further includes a processor coupled with the image sensor, wherein the processor includes a plurality of pixel processing units, and each processing unit of the plurality of processing units is configured to generate a processed image based on an image captured by a corresponding sub-region of the plurality of sub-regions. The apparatus further includes a plurality of lenses configured to focus incident light onto the image sensor.

    Probe card partition scheme
    8.
    发明授权
    Probe card partition scheme 有权
    探测卡分区方案

    公开(公告)号:US09513332B2

    公开(公告)日:2016-12-06

    申请号:US14459801

    申请日:2014-08-14

    摘要: A method of testing an integrated circuit die comprises partitioning a first probe card partition layout of the integrated circuit die having one or more sections comprising a first quantity of section types into a second probe card partition layout having a greater quantity of sections comprising a second quantity of section types, the second quantity of section types being less than the first quantity of section types. The method also comprises using one or more probe cards to test the sections in the second probe card partition layout, each of the one or more probe cards having a test contact pattern that corresponds with a test contact pattern of one of each section type included in the second probe card partition layout.

    摘要翻译: 一种测试集成电路管芯的方法包括将具有一个或多个部分的集成电路管芯的第一探针卡分隔布局分成包括第一数量的部分类型到具有更大数量的部分的第二探针卡分配布局,所述部分包括第二数量 的截面类型,第二数量的截面类型小于第一数量的截面类型。 该方法还包括使用一个或多个探针卡来测试第二探针卡分区布局中的部分,所述一个或多个探针卡中的每一个具有与包括在每个部分类型之一的测试接触图案相对应的测试接触图案 第二个探针卡分区布局。

    Reducing design verification time while maximizing system functional coverage
    10.
    发明授权
    Reducing design verification time while maximizing system functional coverage 有权
    减少设计验证时间,同时最大化系统功能覆盖

    公开(公告)号:US08826202B1

    公开(公告)日:2014-09-02

    申请号:US13890732

    申请日:2013-05-09

    IPC分类号: G06F17/50 G06F9/455 G06F11/22

    CPC分类号: G06F11/263 G06F17/504

    摘要: A system for functional verification of a chip design includes the chip design, a test generator, a test bench, a verification tool, and a coverage tool. The coverage tool is configured to receive chip design, user input, and coverage files from the verification tool to generate information for the test generator to improve the test coverage of the verification tool. The method includes receiving a chip design, functionally testing the chip design, generating coverage files, receiving user options, including a coverage basis, a report basis, and a defined coverage, calculating coverage impact and new overall coverage using the defined coverage and coverage files, and ranking each report basis according to coverage impact of each coverage basis.

    摘要翻译: 用于芯片设计功能验证的系统包括芯片设计,测试发生器,测试台,验证工具和覆盖工具。 覆盖工具被配置为从验证工具接收芯片设计,用户输入和覆盖文件,以生成测试发生器的信息,以提高验证工具的测试覆盖率。 该方法包括接收芯片设计,功能测试芯片设计,生成覆盖文件,接收用户选项,包括覆盖基础,报告基础和定义的覆盖范围,使用定义的覆盖和覆盖文件计算覆盖影响和新的整体覆盖 并根据每个覆盖范围的覆盖面影响对每个报告进行排序。