METHOD FOR AUTOMATIC DETECTION OF A FUNCTIONAL PRIMITIVE IN A MODEL OF A HARDWARE SYSTEM

摘要

A method for automatic detection of a functional primitive in a model of a hardware system, the model being a netlist (2) having cells (2') and net links (2") therebetween, comprising the steps: a) mapping the cells (21) to nodes (4), each of which having a target node type, and the net links (2") to edges (11) of a target graph (3, 10), and mapping the functional primitive to a search pattern (14) having search nodes (19) and connections therebetween; b) selecting candidates from those target nodes (4) the target node types of which match a search node type, and selecting a candidate structure from those selected candidates the target nodes (4) and edges (11) of which match the search nodes (19) and connections of the search pattern (14); c) reverse-mapping the target nodes (4) and edges (11) of the selected candidate structure to the cells (21) and net links (2") of the netlist (2); and d) outputting said cells (2') and net links (2") as detected functional primitive.