Functional coverage metric generation from temporal event relation graph

Young-Su Kwon, Chong-Min Kyung
Proceedings Design, Automation and Test in Europe Conference and Exhibition  
Functional coverage is a technique which can be used for checking the completeness of test vectors. In this paper, automatic generation of temporal events for functional coverage is proposed. The TERG(Temporal Event Relation Graph) is the graph where the nodes represent basic temporal property and the edges represent the time-shift value between two properties. Hierarchical temporal events are generated by traversing TERG such that invalid, or irrelevant properties are eliminated. Concurrent
more » ... ated. Concurrent edge groups in TERG make it possible to generate more comprehensive temporal properties.
doi:10.1109/date.2004.1268923 dblp:conf/date/KwonK04 fatcat:rp3etzm5ozhyhhakkbtq2cvw2u