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 (Diğer Kurumların Hakemli Dergileri) identifier

  • Cilt numarası: 25 Konu: 3
  • Basım Tarihi: 2005
  • Doi Numarası: 10.1080/02286203.2005.11442331
  • Dergi Adı: International Journal of Modelling and Simulation
  • Sayfa Sayıları: ss.210-220