A New Approach for Design and Verification of Transaction Level Models.

Mohammad Reza Kakoee, Hamid Shojaei, Hassan Ghasemzadeh, Marjan Sirjani, Zainalabedin Navabi

Browse the full ISCAS paper archive.