A TLM-based approach to functional verification of hardware components at different abstraction levelsстатья