Artificial intelligence-based constrained random verification method for design under test and non-transitory machine-readable medium for storing program code that performs artificial intelligence-based constrained random verification method when executed

A non-transitory machine-readable medium for storing a program code, wherein when loaded and executed by a processor, the program code instructs the processor to perform an artificial intelligence (AI)-based constrained random verification (CRV) method for a design under test (DUT), and the AI-based CRV method comprises:

• 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.