Formal verification of pipelined synthesized designs by exploiting intermediary RTLs

KİM Y., Tosun S., KOÇ H., KOPURİ S., MANSOURİ N.

International Journal of Modelling and Simulation, cilt.25, sa.3, ss.210-220, 2005 (Scopus)

• Yayın Türü: Makale / Tam Makale
• Cilt numarası: 25 Sayı: 3
• Basım Tarihi: 2005
• Doi Numarası: 10.1080/02286203.2005.11442331
• Dergi Adı: International Journal of Modelling and Simulation
• Derginin Tarandığı İndeksler: Scopus
• Sayfa Sayıları: ss.210-220
• Hacettepe Üniversitesi Adresli: Evet