A TLM-based approach to functional verification of hardware components at different abstraction levels

@article{Chupilko2011ATA,
  title={A TLM-based approach to functional verification of hardware components at different abstraction levels},
  author={Mikhail M. Chupilko and Alexander S. Kamkin},
  journal={2011 12th Latin American Test Workshop (LATW)},
  year={2011},
  pages={1-6}
}
Verification has long been recognized as an integral part of the hardware design process. When designing a system, engineers usually use various design representations and concretize them step by step up to a physical layout. At the beginning of the process, when there is much of indeterminacy, only abstract reference models are applicable to verification; when the process is close to the end, more concrete ones can be utilized. The article concerns problems of developing reusable verification… CONTINUE READING

Similar Papers

Loading similar papers…