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, vol.25, no.3, pp.210-220, 2005 (Scopus)

• Publication Type: Article / Article
• Volume: 25 Issue: 3
• Publication Date: 2005
• Doi Number: 10.1080/02286203.2005.11442331
• Journal Name: International Journal of Modelling and Simulation
• Journal Indexes: Scopus
• Page Numbers: pp.210-220
• Hacettepe University Affiliated: Yes