| contributor author | Jaluta, Ibrahim | |
| contributor author | Bazina, Naji | |
| date accessioned | 2020-03-12T21:59:55Z | |
| date available | 2020-03-12T21:59:55Z | |
| date issued | 2014 | |
| identifier other | 6970098.pdf | |
| identifier uri | https://libsearch.um.ac.ir:443/fum/handle/fum/1067868?show=full | |
| format | general | |
| language | English | |
| publisher | IEEE | |
| title | Cache consistency in adaptive page-server database systems | |
| type | Conference Paper | |
| contenttype | Metadata Only | |
| identifier padid | 8202741 | |
| subject keywords | C++ language | |
| subject keywords | n circuit complexity | |
| subject keywords | n electronic design automation | |
| subject keywords | n formal verification | |
| subject keywords | n hardware description languages | |
| subject keywords | n high level synthesis | |
| subject keywords | n industrial property | |
| subject keywords | n system-on-chip | |
| subject keywords | n time to market | |
| subject keywords | n ABV | |
| subject keywords | n RTL IP assertions reusability | |
| subject keywords | n SystemC TLM verification | |
| subject keywords | n TLM-based design flow | |
| subject keywords | n assertion-based verification | |
| subject keywords | n intellectual property model | |
| subject keywords | n modern SoC designing complexity | |
| subject keywords | n register transfer level | |
| subject keywords | n system level design | |
| subject keywords | n system-on-chi | |
| identifier doi | 10.1109/LATW.2014.6841903 | |
| journal title | omputer & Information Technology (GSCIT), 2014 Global Summit on | |
| filesize | 632936 | |
| citations | 0 | |