Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Look-Aside Interface

Known as: Look Aside Interface 
The Look-Aside Interface is a computer interface that was specified by an interface interoperability agreement produced by the Network Processing… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
In this paper we propose an automatic methodology to verify the soundness of model checking reduction techniques. The idea is to… Expand
  • figure 2
  • figure 3
  • figure 4
  • table 2
  • figure 5
Is this relevant?
2010
2010
 
Is this relevant?
2009
2009
Conventional m-out-of-n and Berger codes are known uniform- and equal-weight codes respectively. They are useful in error… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 4
Is this relevant?
2006
2006
Recent advancement in hardware design urged using a transaction based model as a new intermediate design level. Supporters for… Expand
  • figure 1
  • table 1
  • table 2
Is this relevant?
2005
2005
In this paper we investigate the model checking of the look-aside interface (LA-1 standard) using STE, a model checking technique… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table I
Is this relevant?
2005
2005
This research addresses assertion-based verification to verify Look Aside Interface (LA-1 Standard). The Look Aside interface is… Expand
Is this relevant?
2005
2005
In this paper a formal verification of the look-aside interface using MDG-based model checking technique is presented. MDGs… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2005
2005
In this paper, we present a technique to design and verify the look-aside (LA-1) interface standard used in network processors… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 1
Is this relevant?