(1) Humans (for example, artists) have the intention to convey thought to others. This thought is embodied. Conceptual metaphor exemplifies one kind of cognitive mechanism through which this principle ...

Driven by the need to objectively measure the progress of their verification efforts and the contributions of different verification techniques, IC designers have adopted coverage as a metric. However ...