2016 17th International Symposium on Quality Electronic Design (ISQED) 2016
DOI: 10.1109/isqed.2016.7479218
|View full text |Cite
|
Sign up to set email alerts
|

Protocol-guided analysis of post-silicon traces under limited observability

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

0
11
0

Year Published

2017
2017
2020
2020

Publication Types

Select...
2
1
1

Relationship

1
3

Authors

Journals

citations
Cited by 4 publications
(11 citation statements)
references
References 16 publications
0
11
0
Order By: Relevance
“…However, our work is more general and developed with practical considerations. Additionally, the work in [15] is discussed and evaluated based on an abstract transaction-level model while our approach is evaluated on a RTL model.…”
Section: Resultsmentioning
confidence: 99%
See 4 more Smart Citations
“…However, our work is more general and developed with practical considerations. Additionally, the work in [15] is discussed and evaluated based on an abstract transaction-level model while our approach is evaluated on a RTL model.…”
Section: Resultsmentioning
confidence: 99%
“…These protocols are typically specified in architecture documents as message flow diagrams, where the words "protocol" and "flow" are used interchangeably. In this paper, as in [15], system flows are formalized using Labeled Petri-nets (LPNs). Figure 2 shows a memory write protocol initiated from a CPU CPU_X in LPN where X 2 {0, 1} and X 0 = 1 X.…”
Section: Flow Specificationmentioning
confidence: 99%
See 3 more Smart Citations