TY  - GEN
TI  - IEEE Std 1076.6-1999  (E-BOOK)
KW  - IEEE
KW  - E-BOOK
N1  - Overview 1 References. 3 Definitions 3 Predefined types. 4 Verification methodology 6 Modeling hardware elements 6 Pragmas 12 Syntax 14
UR  - http://link.libris.kb.se/sfxbth?url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&rfr_id=info:sid/sfxit.com:opac_856&url_ctx_fmt=info:ofi/fmt:kev:mtx:ctx&sfx.ignore_date_threshold=1&rft.object_id=1000000000035748&svc_val_fmt=info:ofi/fmt:kev:mtx:sch_svc&
UR  - http://link.libris.kb.se/sfxcthb?url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&rfr_id=info:sid/sfxit.com:opac_856&url_ctx_fmt=info:ofi/fmt:kev:mtx:ctx&sfx.ignore_date_threshold=1&rft.object_id=1000000000035748&svc_val_fmt=info:ofi/fmt:kev:mtx:sch_svc&
UR  - http://link.libris.kb.se/sfxhib?url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&rfr_id=info:sid/sfxit.com:opac_856&url_ctx_fmt=info:ofi/fmt:kev:mtx:ctx&sfx.ignore_date_threshold=1&rft.object_id=1000000000035748&svc_val_fmt=info:ofi/fmt:kev:mtx:sch_svc&
UR  - http://link.libris.kb.se/sfxhv?url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&rfr_id=info:sid/sfxit.com:opac_856&url_ctx_fmt=info:ofi/fmt:kev:mtx:ctx&sfx.ignore_date_threshold=1&rft.object_id=1000000000035748&svc_val_fmt=info:ofi/fmt:kev:mtx:sch_svc&
UR  - http://link.libris.kb.se/sfxkth?url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&rfr_id=info:sid/sfxit.com:opac_856&url_ctx_fmt=info:ofi/fmt:kev:mtx:ctx&sfx.ignore_date_threshold=1&rft.object_id=1000000000035748&svc_val_fmt=info:ofi/fmt:kev:mtx:sch_svc&
UR  - http://link.libris.kb.se/sfxlaub?url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&rfr_id=info:sid/sfxit.com:opac_856&url_ctx_fmt=info:ofi/fmt:kev:mtx:ctx&sfx.ignore_date_threshold=1&rft.object_id=1000000000035748&svc_val_fmt=info:ofi/fmt:kev:mtx:sch_svc&
UR  - http://link.libris.kb.se/sfxlibris-hda?url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&rfr_id=info:sid/sfxit.com:opac_856&url_ctx_fmt=info:ofi/fmt:kev:mtx:ctx&sfx.ignore_date_threshold=1&rft.object_id=1000000000035748&svc_val_fmt=info:ofi/fmt:kev:mtx:sch_svc&
UR  - http://link.libris.kb.se/sfxlibris-higa?url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&rfr_id=info:sid/sfxit.com:opac_856&url_ctx_fmt=info:ofi/fmt:kev:mtx:ctx&sfx.ignore_date_threshold=1&rft.object_id=1000000000035748&svc_val_fmt=info:ofi/fmt:kev:mtx:sch_svc&
UR  - http://link.libris.kb.se/sfxlibris-hiha?url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&rfr_id=info:sid/sfxit.com:opac_856&url_ctx_fmt=info:ofi/fmt:kev:mtx:ctx&sfx.ignore_date_threshold=1&rft.object_id=1000000000035748&svc_val_fmt=info:ofi/fmt:kev:mtx:sch_svc&
UR  - http://link.libris.kb.se/sfxliub?url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&rfr_id=info:sid/sfxit.com:opac_856&url_ctx_fmt=info:ofi/fmt:kev:mtx:ctx&sfx.ignore_date_threshold=1&rft.object_id=1000000000035748&svc_val_fmt=info:ofi/fmt:kev:mtx:sch_svc&
UR  - http://link.libris.kb.se/sfxlnu?url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&rfr_id=info:sid/sfxit.com:opac_856&url_ctx_fmt=info:ofi/fmt:kev:mtx:ctx&sfx.ignore_date_threshold=1&rft.object_id=1000000000035748&svc_val_fmt=info:ofi/fmt:kev:mtx:sch_svc&
UR  - http://link.libris.kb.se/sfxmah?url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&rfr_id=info:sid/sfxit.com:opac_856&url_ctx_fmt=info:ofi/fmt:kev:mtx:ctx&sfx.ignore_date_threshold=1&rft.object_id=1000000000035748&svc_val_fmt=info:ofi/fmt:kev:mtx:sch_svc&
UR  - http://link.libris.kb.se/sfxmdh?url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&rfr_id=info:sid/sfxit.com:opac_856&url_ctx_fmt=info:ofi/fmt:kev:mtx:ctx&sfx.ignore_date_threshold=1&rft.object_id=1000000000035748&svc_val_fmt=info:ofi/fmt:kev:mtx:sch_svc&
UR  - http://link.libris.kb.se/sfxmiu?url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&rfr_id=info:sid/sfxit.com:opac_856&url_ctx_fmt=info:ofi/fmt:kev:mtx:ctx&sfx.ignore_date_threshold=1&rft.object_id=1000000000035748&svc_val_fmt=info:ofi/fmt:kev:mtx:sch_svc&
UR  - http://link.libris.kb.se/sfxoub?url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&rfr_id=info:sid/sfxit.com:opac_856&url_ctx_fmt=info:ofi/fmt:kev:mtx:ctx&sfx.ignore_date_threshold=1&rft.object_id=1000000000035748&svc_val_fmt=info:ofi/fmt:kev:mtx:sch_svc&
UR  - http://link.libris.kb.se/sfxprv?url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&rfr_id=info:sid/sfxit.com:opac_856&url_ctx_fmt=info:ofi/fmt:kev:mtx:ctx&sfx.ignore_date_threshold=1&rft.object_id=1000000000035748&svc_val_fmt=info:ofi/fmt:kev:mtx:sch_svc&
UR  - http://link.libris.kb.se/sfxsub?url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&rfr_id=info:sid/sfxit.com:opac_856&url_ctx_fmt=info:ofi/fmt:kev:mtx:ctx&sfx.ignore_date_threshold=1&rft.object_id=1000000000035748&svc_val_fmt=info:ofi/fmt:kev:mtx:sch_svc&
UR  - http://link.libris.kb.se/sfxuub?url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&rfr_id=info:sid/sfxit.com:opac_856&url_ctx_fmt=info:ofi/fmt:kev:mtx:ctx&sfx.ignore_date_threshold=1&rft.object_id=1000000000035748&svc_val_fmt=info:ofi/fmt:kev:mtx:sch_svc&
UR  - http://sfxeu05.hosted.exlibrisgroup.com/46LUB?url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&rfr_id=info:sid/sfxit.com:opac_856&url_ctx_fmt=info:ofi/fmt:kev:mtx:ctx&sfx.ignore_date_threshold=1&rft.object_id=1000000000035748&svc_val_fmt=info:ofi/fmt:kev:mtx:sch_svc&
ER  -