%0 Conference Proceedings
%T Transaction Level Formal Verification using Timed Automata
%A Amirali Ghofrani
%A  Fatemeh Javaheri
%A  Noori, Hamid
%A  Zainalabedin Navabi
%J 11th workshop on RTL and high level testing
%D 2010