公开(公告)号：US20230144389A1

公开(公告)日：2023-05-11

申请号：US17968798

申请日：2022-10-19

Applicant: MEDIATEK INC.

Inventor： Chung-An Wang ,  Chiao-Hua Tseng ,  Chia-Cheng Tsai ,  Tung-Yu Lee ,  Yen-Her Chen ,  Chien-Hsin Yeh ,  Chia-Shun Yeh ,  Chin-Tang Lai

IPC: G01R31/28

CPC classification number: G01R31/2837 ,  G01R31/2841

Abstract: An artificial intelligence (AI)-based constrained random verification (CRV) method for a design under test (DUT) includes: receiving a series of constraints; obtaining a limited constraint range according to the series of constraints; generating a series of stimuli according to the limited constraint range; and verifying the DUT by the series of stimuli; wherein at least one of the step of obtaining the limited constraint range according to the series of constraints and the step of generating the series of stimuli according to the limited constraint range employs an AI algorithm.

公开(公告)号：US20240152671A1

公开(公告)日：2024-05-09

申请号：US18501044

申请日：2023-11-03

Applicant: MEDIATEK INC.

Inventor： Chi-Ming Lee ,  Chung-An Wang ,  Cheok Yan Goh ,  Chia-Cheng Tsai ,  Chien-Hsin Yeh ,  Chia-Shun Yeh ,  Chin-Tang Lai

IPC: G06F30/27

CPC classification number: G06F30/27

Abstract: A violation checking method includes generating a violation log report for a design, classifying violation logs in the violation log report into high-risk logs and low-risk logs by a machine learning model, reviewing the high-risk logs, and modifying the design if at least one bug is identified in the high-risk logs.

公开(公告)号：US12025653B2

公开(公告)日：2024-07-02

申请号：US17968798

申请日：2022-10-19

Applicant: MEDIATEK INC.

Inventor： Chung-An Wang ,  Chiao-Hua Tseng ,  Chia-Cheng Tsai ,  Tung-Yu Lee ,  Yen-Her Chen ,  Chien-Hsin Yeh ,  Chia-Shun Yeh ,  Chin-Tang Lai

IPC: G01R31/28

CPC classification number: G01R31/2837 ,  G01R31/2841

Abstract: An artificial intelligence (AI)-based constrained random verification (CRV) method for a design under test (DUT) includes: receiving a series of constraints; obtaining a limited constraint range according to the series of constraints; generating a series of stimuli according to the limited constraint range; and verifying the DUT by the series of stimuli; wherein at least one of the step of obtaining the limited constraint range according to the series of constraints and the step of generating the series of stimuli according to the limited constraint range employs an AI algorithm.