Validating Families of Latency Insensitive Protocols

Suhaib, Syed; Mathaikutty, Deepak; Berner, David; Shukla, Sandeep K.

doi:10.1109/tc.2006.188

Search citation statements

Order By: Relevance

Paper Sections

Select...

Cited by 15 publications

(2 citation statements)

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Performance analyses are discussed in [14,15,19,23,24,29]. Formal verification of Latency Insensitive systems is described in [14,73,74]. Some optimizations are described in [14,15,19,23,24,29].…”

Section: Further Readingsmentioning

confidence: 99%

Synthesis of Embedded Software

Shukla¹,

Talpin²

2010

View full text Add to dashboard Cite

Section: Further Readingsmentioning

confidence: 99%

Synthesis of Embedded Software

Shukla¹,

Talpin²

2010

View full text Add to dashboard Cite

“…Formal, mathematically sound studies have shown how to guarantee equivalence with an appropriate LIP 1 and how to validate protocol correctness. 8 Concerning performance modeling, Lu and Koh have analyzed the upper bound achievable by Carloni, McMillan, and Sangiovanni-Vincentelli's LIP, using a netlist graph and max-plus algebra. 9 LIP performance depends on the amount of latency in wires, and this value is known only after layout.…”

Section: Related Workmentioning

confidence: 99%