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

Citation: BibTeX | EndNote

Abstract

In this paper a form al methodo logy is proposed to verify TLM

Keywords

forma l verification; t imed automata; transaction levelmodeling