Formal verification of pipelined synthesized designs by exploiting intermediary RTLs

Atıf İçin Kopyala

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