The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Jan. 17, 2012
Filed:
Apr. 27, 2009
Dhiraj Goswami, Wilsonville, OR (US);
Ngai Ngai William Hung, San Jose, CA (US);
Jasvinder Singh, San Jose, CA (US);
Qiang Qiang, Santa Clara, CA (US);
Dhiraj Goswami, Wilsonville, OR (US);
Ngai Ngai William Hung, San Jose, CA (US);
Jasvinder Singh, San Jose, CA (US);
Qiang Qiang, Santa Clara, CA (US);
Synopsys, Inc., Mountain View, CA (US);
Abstract
Some embodiments provide a system for adaptively performing state-to-symbolic transformation in a canonical representation which is used for generating random stimulus for a constrained-random simulation. The system can construct a canonical representation for a set of constraints using the set of random variables and the subset of the state variables in the constraints. Next, the system can use the canonical representation to generate random stimulus for the constrained-random simulation, and monitor parameters associated with the constrained-random simulation. Next, the system can add state variables to or remove state variables from the canonical representation based at least on the monitored parameters. The system can then use the modified canonical representation which has a different set of state variables to generate random stimulus for the constrained-random simulation.