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, ss.210-220, 2005 (Diğer Kurumların Hakemli Dergileri)

• 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