Protocol verification as a hardware design aid Export

@proceedings{citeulike:2946455, abstract = {The role of automatic formal protocol verification in hardware design is considered. Principles that maximize the benefits of protocol verification while minimizing the labor and computation required are identified. A novel protocol description language and verifier (both called Mur\φ) are described, along with experiences in applying them to two industrial protocols that were developed as part of hardware designs}, author = {Dill, D. L. and Drexler, A. J. and Hu, A. J. and Yang, C. H.}, booktitle = {Computer Design: VLSI in Computers and Processors, 1992. ICCD '92. Proceedings., IEEE 1992 International Conference on}, citeulike-article-id = {2946455}, citeulike-linkout-0 = {http://dx.doi.org/10.1109/ICCD.1992.276232}, citeulike-linkout-1 = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=276232}, doi = {10.1109/ICCD.1992.276232}, journal = {Computer Design: VLSI in Computers and Processors, 1992. ICCD '92. Proceedings., IEEE 1992 International Conference on}, keywords = {copy, formal-method, model-checking, protocol}, pages = {522--525}, posted-at = {2008-07-01 03:29:31}, priority = {2}, title = {Protocol verification as a hardware design aid}, url = {http://dx.doi.org/10.1109/ICCD.1992.276232}, year = {1992} }

TY - CONF ID - citeulike:2946455 L3 - citeulike-article-id:2946455 N2 - The role of automatic formal protocol verification in hardware design is considered. Principles that maximize the benefits of protocol verification while minimizing the labor and computation required are identified. A novel protocol description language and verifier (both called Murφ) are described, along with experiences in applying them to two industrial protocols that were developed as part of hardware designs JF - Computer Design: VLSI in Computers and Processors, 1992. ICCD '92. Proceedings., IEEE 1992 International Conference on EP - 525 TI - Protocol verification as a hardware design aid T2 - Computer Design: VLSI in Computers and Processors, 1992. ICCD '92. Proceedings., IEEE 1992 International Conference on SP - 522 KW - copy KW - formal-method KW - model-checking KW - protocol AU - Dill, DL AU - Drexler, AJ AU - Hu, AJ AU - Yang, CH PY - 1992/// UR - http://dx.doi.org/10.1109/ICCD.1992.276232 ER -