Abstract: Disclosed is a method for validating a hardware system by a model thereof, which method comprises: providing reference structures and determining, in the model, sub-structures, each of which is structurally equivalent to one of the reference structures; extracting, from the model, input cones for each sub-structure; creating monopartite candidate graphs by mapping the bipartite sub-structure and the respective input cones to one of the candidate graphs; creating, for each candidate graph, a match vector, each dimension of the match vector comprising a count of occurrences, in the candidate graph, of a different one of predetermined graphlets; clustering, on the basis of similarity of the match vectors, the candidate graphs in clusters; and selecting, from each of the clusters, one candidate graph and determining a functional behaviour of the respective sub-structure of the selected candidate graph for validating the hardware system.

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

Abstract: Disclosed is a method for validating a hardware system by a model thereof, which method comprises: providing reference structures and determining, in the model, sub-structures, each of which is structurally equivalent to one of the reference structures; extracting, from the model, input cones for each sub-structure; creating monopartite candidate graphs by mapping the bipartite sub-structure and the respective input cones to one of the candidate graphs; creating, for each candidate graph, a match vector, each dimension of the match vector comprising a count of occurrences, in the candidate graph, of a different one of predetermined graphlets; clustering, on the basis of similarity of the match vectors, the candidate graphs in clusters; and selecting, from each of the clusters, one candidate graph and determining a functional behaviour of the respective sub-structure of the selected candidate graph for validating the hardware system.

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

Abstract: A device for processing a workpiece using a plurality of parallel laser beams includes a focusing optical system displaceable in a direction of an axis of symmetry configured to focus each of the plurality of parallel laser beams onto a common focusing plane, and wherein the plurality of laser beams include a first and a second laser beam pair, each containing two laser beams equidistant from the axis of symmetry. The device further includes a reflector assembly having at least two reflectors each having a plurality of reflection surfaces displaceable relative to one another in a direction of the axis of symmetry.

Abstract: A device for processing a workpiece using a plurality of parallel laser beams includes a focusing optical system displaceable in a direction of an axis of symmetry configured to focus each of the plurality of parallel laser beams onto a common focusing plane, and wherein the plurality of laser beams include a first and a second laser beam pair, each containing two laser beams equidistant from the axis of symmetry. The device further includes a reflector assembly having at least two reflectors each having a plurality of reflection surfaces displaceable relative to one another in a direction of the axis of symmetry.