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 (Refereed Journals of Other Institutions) identifier

  • Publication Type: Article / Article
  • Volume: 25 Issue: 3
  • Publication Date: 2005
  • Doi Number: 10.1080/02286203.2005.11442331
  • Title of Journal : International Journal of Modelling and Simulation
  • Page Numbers: pp.210-220