Facilitating testability of TLM FIFO: SystemC implementations

TLM is a high-level approach to modeling digital systems with an emphasis on separating computations from communications within a system. With the evolution of design methodologies to transaction level the need for definition of DFT (Design for Test) techniques at this very high level of abstraction arises. This paper focuses on the implementation of three different high-level testing strategies for TLM FIFO as the basic TLM communication channel. These strategies are implemented by adding Built-in Functional Self Test (BIFST) utilities to the channels and computation units. We present SystemC implementations of the utilities that we have developed in the form of new SystemC classes and methods.