Formal verification of pipelined synthesized designs by exploiting intermediary RTLs

Copy For Citation

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