Show simple item record

contributor authorJaluta, Ibrahim
contributor authorBazina, Naji
date accessioned2020-03-12T21:59:55Z
date available2020-03-12T21:59:55Z
date issued2014
identifier other6970098.pdf
identifier urihttps://libsearch.um.ac.ir:443/fum/handle/fum/1067868?show=full
formatgeneral
languageEnglish
publisherIEEE
titleCache consistency in adaptive page-server database systems
typeConference Paper
contenttypeMetadata Only
identifier padid8202741
subject keywordsC++ language
subject keywordsn circuit complexity
subject keywordsn electronic design automation
subject keywordsn formal verification
subject keywordsn hardware description languages
subject keywordsn high level synthesis
subject keywordsn industrial property
subject keywordsn system-on-chip
subject keywordsn time to market
subject keywordsn ABV
subject keywordsn RTL IP assertions reusability
subject keywordsn SystemC TLM verification
subject keywordsn TLM-based design flow
subject keywordsn assertion-based verification
subject keywordsn intellectual property model
subject keywordsn modern SoC designing complexity
subject keywordsn register transfer level
subject keywordsn system level design
subject keywordsn system-on-chi
identifier doi10.1109/LATW.2014.6841903
journal titleomputer & Information Technology (GSCIT), 2014 Global Summit on
filesize632936
citations0


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record