{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:34:33Z","timestamp":1750307673478,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,3,31]],"date-time":"2008-03-31T00:00:00Z","timestamp":1206921600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2008,3,31]]},"DOI":"10.1145\/1404891.1404895","type":"proceedings-article","created":{"date-parts":[[2008,9,10]],"date-time":"2008-09-10T15:02:16Z","timestamp":1221058936000},"page":"1-6","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["A pointcut-based assertion for high-level hardware design"],"prefix":"10.1145","author":[{"given":"Yusuke","family":"Endoh","sequence":"first","affiliation":[{"name":"Toshiba Corporation"}]},{"given":"Takeo","family":"Imai","sequence":"additional","affiliation":[{"name":"Toshiba Corporation"}]},{"given":"Mikito","family":"Iwamasa","sequence":"additional","affiliation":[{"name":"Toshiba Corporation"}]},{"given":"Yoshio","family":"Kataoka","sequence":"additional","affiliation":[{"name":"Toshiba Corporation"}]}],"member":"320","published-online":{"date-parts":[[2008,3,31]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1150343.1150378"},{"key":"e_1_3_2_1_2_1","first-page":"1","volume-title":"FOAL '06: Proceedings of the Foundations of Aspect-Oriented Languages Workshop at AOSD 2006","author":"Endoh Y.","unstructured":"Y. Endoh , H. Masuhara , and A. Yonezawa . Continuation join points . In FOAL '06: Proceedings of the Foundations of Aspect-Oriented Languages Workshop at AOSD 2006 , page 1 .10, 2006. Y. Endoh, H. Masuhara, and A. Yonezawa. Continuation join points. In FOAL '06: Proceedings of the Foundations of Aspect-Oriented Languages Workshop at AOSD 2006, page 1.10, 2006."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-4515-6","volume-title":"SpecC: Specification Language and Methodology","author":"Gajski D. D.","year":"2000","unstructured":"D. D. Gajski , J. Zhu , R. D\u00f6mer , A. Gerstlauer , and S. Zhao . SpecC: Specification Language and Methodology . 2000 . D. D. Gajski, J. Zhu, R. D\u00f6mer, A. Gerstlauer, and S. Zhao. SpecC: Specification Language and Methodology. 2000."},{"key":"e_1_3_2_1_4_1","volume-title":"System Design with SystemC","author":"Grotker T.","year":"2002","unstructured":"T. Grotker . System Design with SystemC . 2002 . T. Grotker. System Design with SystemC. 2002."},{"key":"e_1_3_2_1_5_1","volume-title":"IEEE Standard VHDL Language Reference Manual","author":"EE.","year":"2000","unstructured":"IE EE. Std 1076-2000 : IEEE Standard VHDL Language Reference Manual , 2000 . IEEE. Std 1076-2000: IEEE Standard VHDL Language Reference Manual, 2000."},{"key":"e_1_3_2_1_6_1","volume-title":"IEEE 1850 Standard for Property Specification Language (PSL)","author":"IEEE.","year":"2005","unstructured":"IEEE. IEEE 1850 Standard for Property Specification Language (PSL) , 2005 . IEEE. IEEE 1850 Standard for Property Specification Language (PSL), 2005."},{"key":"e_1_3_2_1_7_1","volume-title":"IEEE Standard for SystemVerilog-Unified Hardware Design, Specification, and Verification Language","author":"IEEE.","year":"2005","unstructured":"IEEE. IEEE Standard for SystemVerilog-Unified Hardware Design, Specification, and Verification Language , 2005 . IEEE. IEEE Standard for SystemVerilog-Unified Hardware Design, Specification, and Verification Language, 2005."},{"key":"e_1_3_2_1_8_1","unstructured":"InterDesign Technologies Inc. Visualspec. http:\/\/www.interdesigntech.co.jp\/english\/.  InterDesign Technologies Inc. Visualspec. http:\/\/www.interdesigntech.co.jp\/english\/."},{"key":"e_1_3_2_1_9_1","volume-title":"Proceedings of the Design and Verification Conference and Exhibition (DVCon)","author":"Kasuya A.","year":"2004","unstructured":"A. Kasuya . Verification applications of aspect-oriented-programming . In Proceedings of the Design and Verification Conference and Exhibition (DVCon) , 2004 . A. Kasuya. Verification applications of aspect-oriented-programming. In Proceedings of the Design and Verification Conference and Exhibition (DVCon), 2004."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1278480.1278529"},{"key":"e_1_3_2_1_11_1","series-title":"Lecture Notes in Computer Science","volume-title":"An overview of AspectJ","author":"Kiczales G.","year":"2001","unstructured":"G. Kiczales , E. Hilsdale , J. Hugunin , M. Kersten , J. Palm , and W. G. Griswold . An overview of AspectJ . Lecture Notes in Computer Science , 2001 . G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm, and W. G. Griswold. An overview of AspectJ. Lecture Notes in Computer Science, 2001."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/11924661_8"},{"key":"e_1_3_2_1_13_1","first-page":"232","volume-title":"ITG\/GI\/GMM Workshop","author":"Niemann B.","year":"2006","unstructured":"B. Niemann and C. Haubelt . Assertion based verification of transaction level models . In ITG\/GI\/GMM Workshop , pages 232 -- 236 , 2006 . B. Niemann and C. Haubelt. Assertion based verification of transaction level models. In ITG\/GI\/GMM Workshop, pages 232--236, 2006."},{"key":"e_1_3_2_1_14_1","volume-title":"OSCI","author":"Initiative C","year":"2003","unstructured":"Open System C Initiative . System C 2. 0 Language Reference Manual . OSCI , 2003 . Open SystemC Initiative. SystemC 2.0 Language Reference Manual. OSCI, 2003."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"e_1_3_2_1_16_1","first-page":"53","volume-title":"CRPIT '02: Proceedings of the Fortieth International Conference on Tools Pacific","author":"Spinczyk O.","year":"2002","unstructured":"O. Spinczyk , A. Gal , and W. Schr\u00f6der-Preikschat . AspectC++: an aspect-oriented extension to the C++ programming language . In CRPIT '02: Proceedings of the Fortieth International Conference on Tools Pacific , pages 53 -- 60 , 2002 . O. Spinczyk, A. Gal, and W. Schr\u00f6der-Preikschat. AspectC++: an aspect-oriented extension to the C++ programming language. In CRPIT '02: Proceedings of the Fortieth International Conference on Tools Pacific, pages 53--60, 2002."},{"key":"e_1_3_2_1_17_1","volume-title":"Temporal assertions using AspectJ","author":"Stolz V.","year":"2005","unstructured":"V. Stolz and E. Bodden . Temporal assertions using AspectJ , 2005 . V. Stolz and E. Bodden. Temporal assertions using AspectJ, 2005."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-2896-5","volume-title":"The Verilog hardware description language","author":"Thomas D. E.","year":"1998","unstructured":"D. E. Thomas and P. R. Moorby . The Verilog hardware description language ( 4 th ed.). 1998 . D. E. Thomas and P. R. Moorby. The Verilog hardware description language (4th ed.). 1998.","edition":"4"}],"event":{"name":"AOSD08: 7th Annual Aspect-Oriented Software Development Conference","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Brussels Belgium","acronym":"AOSD08"},"container-title":["Proceedings of the 2008 AOSD workshop on Aspects, components, and patterns for infrastructure software"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1404891.1404895","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1404891.1404895","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:29:39Z","timestamp":1750253379000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1404891.1404895"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,3,31]]},"references-count":18,"alternative-id":["10.1145\/1404891.1404895","10.1145\/1404891"],"URL":"https:\/\/doi.org\/10.1145\/1404891.1404895","relation":{},"subject":[],"published":{"date-parts":[[2008,3,31]]},"assertion":[{"value":"2008-03-31","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}