Travelled to:3 × Germany
Collaborated with:S.Tahar O.A.Mohamed H.Moinudeen A.I.Ahmed A.Samarah D.Li
Talks about:verif (3) system (2) design (2) methodolog (1) transact (1) interfac (1) generat (1) machin (1) effici (1) assert (1)
Person: Ali Habibi
DBLP: Habibi:Ali
Contributed to:
2006200620042005Wrote 4 papers:
- DATE-2006-HabibiTSLM #performance #using #verification
- Efficient assertion based verification using TLM (AH, ST, AS, DL, OAM), pp. 106–111.
- DATE-DF-2006-HabibiMT #finite #generative #state machine
- Generating finite state machines from SystemC (AH, HM, ST), pp. 76–81.
- DATE-2005-HabibiAMT04 #design #interface #on the #verification
- On the Design and Verification Methodology of the Look-Aside Interface (AH, AIA, OAM, ST), pp. 290–295.
- DATE-2005-HabibiT #design #modelling #transaction #verification
- Design for Verification of SystemC Transaction Level Models (AH, ST), pp. 560–565.