11th workshop on RTL and high level testing , 2010-12-05
Title : ( Transaction Level Formal Verification using Timed Automata )
Authors: Amirali Ghofrani , Fatemeh Javaheri , Hamid Noori , Zainalabedin Navabi ,Access to full-text not allowed by authors
Abstract
In this paper a form al methodo logy is proposed to verify TLM