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:
Mar. 31, 2009
Filed:
Mar. 31, 2006
Takashi Matsuura, Kawasaki, JP;
Takashi Matsuura, Kawasaki, JP;
Fujitsu Microelectronics Limited, Tokyo, JP;
Abstract
An apparatus and a program detect an error state of FSM coverage measurement, and shorten the checking time. The program for use in the FSM coverage measurement based on the language-described logical circuit and test bench is used to direct a computer to perform: a function of extracting an FSM configuration from the language description and the design information generated based on the language description; an extracting function of expanding the hierarchical levels of modules in the range of performing trace back from a variable as input of the FSM to output of a flip-flop or external input of a top module, and extracting FSM input logic between the hierarchical levels in response to the input of a module; and a detecting function of detecting whether or not there is a state that is never reached or a transition that never occurs by an arithmetic result based on the logic having exclusivity detected in the FSM input logic and FSM transition logic.