{"id":"https://openalex.org/W2104819753","doi":"https://doi.org/10.1145/1404891.1404895","title":"A pointcut-based assertion for high-level hardware design","display_name":"A pointcut-based assertion for high-level hardware design","publication_year":2008,"publication_date":"2008-03-31","ids":{"openalex":"https://openalex.org/W2104819753","doi":"https://doi.org/10.1145/1404891.1404895","mag":"2104819753"},"language":"en","primary_location":{"id":"doi:10.1145/1404891.1404895","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1404891.1404895","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2008 AOSD workshop on Aspects, components, and patterns for infrastructure software","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5040891126","display_name":"Yusuke Endoh","orcid":"https://orcid.org/0000-0002-1669-6909"},"institutions":[{"id":"https://openalex.org/I1292669757","display_name":"Toshiba (Japan)","ror":"https://ror.org/0326v3z14","country_code":"JP","type":"company","lineage":["https://openalex.org/I1292669757"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Yusuke Endoh","raw_affiliation_strings":["Toshiba Corporation","[Toshiba Corporation]"],"affiliations":[{"raw_affiliation_string":"Toshiba Corporation","institution_ids":["https://openalex.org/I1292669757"]},{"raw_affiliation_string":"[Toshiba Corporation]","institution_ids":["https://openalex.org/I1292669757"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053383841","display_name":"Takeo Imai","orcid":null},"institutions":[{"id":"https://openalex.org/I1292669757","display_name":"Toshiba (Japan)","ror":"https://ror.org/0326v3z14","country_code":"JP","type":"company","lineage":["https://openalex.org/I1292669757"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Takeo Imai","raw_affiliation_strings":["Toshiba Corporation","[Toshiba Corporation]"],"affiliations":[{"raw_affiliation_string":"Toshiba Corporation","institution_ids":["https://openalex.org/I1292669757"]},{"raw_affiliation_string":"[Toshiba Corporation]","institution_ids":["https://openalex.org/I1292669757"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066768761","display_name":"Mikito Iwamasa","orcid":null},"institutions":[{"id":"https://openalex.org/I1292669757","display_name":"Toshiba (Japan)","ror":"https://ror.org/0326v3z14","country_code":"JP","type":"company","lineage":["https://openalex.org/I1292669757"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Mikito Iwamasa","raw_affiliation_strings":["Toshiba Corporation","[Toshiba Corporation]"],"affiliations":[{"raw_affiliation_string":"Toshiba Corporation","institution_ids":["https://openalex.org/I1292669757"]},{"raw_affiliation_string":"[Toshiba Corporation]","institution_ids":["https://openalex.org/I1292669757"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5046676655","display_name":"Yoshio Kataoka","orcid":null},"institutions":[{"id":"https://openalex.org/I1292669757","display_name":"Toshiba (Japan)","ror":"https://ror.org/0326v3z14","country_code":"JP","type":"company","lineage":["https://openalex.org/I1292669757"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Yoshio Kataoka","raw_affiliation_strings":["Toshiba Corporation","[Toshiba Corporation]"],"affiliations":[{"raw_affiliation_string":"Toshiba Corporation","institution_ids":["https://openalex.org/I1292669757"]},{"raw_affiliation_string":"[Toshiba Corporation]","institution_ids":["https://openalex.org/I1292669757"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5040891126"],"corresponding_institution_ids":["https://openalex.org/I1292669757"],"apc_list":null,"apc_paid":null,"fwci":1.6464,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.84707469,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":96,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"6"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9979000091552734,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/assertion","display_name":"Assertion","score":0.9563208222389221},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8173542022705078},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.5695335268974304},{"id":"https://openalex.org/keywords/very-large-scale-integration","display_name":"Very-large-scale integration","score":0.5410067439079285},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5362633466720581},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.4339943528175354},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.4274609088897705},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.10537627339363098}],"concepts":[{"id":"https://openalex.org/C40422974","wikidata":"https://www.wikidata.org/wiki/Q741248","display_name":"Assertion","level":2,"score":0.9563208222389221},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8173542022705078},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.5695335268974304},{"id":"https://openalex.org/C14580979","wikidata":"https://www.wikidata.org/wiki/Q876049","display_name":"Very-large-scale integration","level":2,"score":0.5410067439079285},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5362633466720581},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.4339943528175354},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4274609088897705},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.10537627339363098}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/1404891.1404895","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1404891.1404895","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2008 AOSD workshop on Aspects, components, and patterns for infrastructure software","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.966.3469","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.966.3469","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.aosd.net/workshops/acp4is/2008/papers/Endoh.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W1498455513","https://openalex.org/W1565164326","https://openalex.org/W1583453248","https://openalex.org/W1610570299","https://openalex.org/W1953148806","https://openalex.org/W2009470075","https://openalex.org/W2021625097","https://openalex.org/W2023808162","https://openalex.org/W2134238548","https://openalex.org/W2137591753","https://openalex.org/W2148740615","https://openalex.org/W2399260475","https://openalex.org/W2602645338","https://openalex.org/W4236592446","https://openalex.org/W4251030308","https://openalex.org/W4254608284","https://openalex.org/W4255852275","https://openalex.org/W4285719527","https://openalex.org/W6636323515","https://openalex.org/W6680586194","https://openalex.org/W6682087946"],"related_works":["https://openalex.org/W1498103021","https://openalex.org/W4230849338","https://openalex.org/W4295166216","https://openalex.org/W2177044681","https://openalex.org/W1713081424","https://openalex.org/W2127315869","https://openalex.org/W1523769955","https://openalex.org/W2245390655","https://openalex.org/W4379536100","https://openalex.org/W188282463"],"abstract_inverted_index":{"Verifying":[0],"very-large-scale":[1],"integration":[2],"(VLSI)":[3],"circuit":[4,20],"design":[5,33,52],"using":[6,24],"assertions":[7,142],"is":[8,66,213,240],"becoming":[9],"more":[10,38,246],"common.":[11],"Herein,":[12],"an":[13,136],"assertion":[14,76,118,127,133,138,174,245],"represents":[15],"a":[16,67,108,112,125,131,150],"temporal":[17,25],"relationship":[18],"among":[19],"events":[21,92,156],"over":[22],"time":[23],"logic":[26],"expression.":[27],"On":[28],"the":[29,185,191,195,223,238],"other":[30],"hand,":[31],"\u201chigh-level":[32],"\u201d":[34],"has":[35],"also":[36,193],"become":[37],"com-mon":[39],"recently.":[40],"Instead":[41],"of":[42,56,86,88,207],"conventional":[43,75,80,117],"hardware":[44],"description":[45],"languages":[46,77,175],"(HDLs),":[47],"VLSI":[48,63],"designers":[49],"introduce":[50,149],"C-based":[51],"languages.":[53],"Although":[54],"both":[55],"these":[57,71],"trends":[58],"are":[59,78,102],"fairly":[60],"effective":[61],"in":[62,145,188,218],"development,":[64],"there":[65,101],"big":[68],"gap":[69],"between":[70],"two":[72,173],"approaches.":[73],"Since":[74],"for":[79,242],"HDLs,":[81],"they":[82],"only":[83],"allow":[84],"specification":[85],"change":[87],"variables":[89],"or":[90,111],"low-level":[91,158],"raised":[93],"along":[94],"with":[95,176,210,215,228],"signals.":[96],"In":[97],"high-level":[98,104,146,162],"design,":[99],"however,":[100],"various":[103,155],"events,":[105],"such":[106],"as":[107,198],"method":[109],"call":[110],"state":[113,163],"transition":[114],"which":[115],"no":[116],"language":[119,128,139],"can":[120],"handle.":[121],"This":[122],"paper":[123],"proposes":[124],"new":[126],"extension,":[129],"namely,":[130],"pointcut-based":[132,177,244],"that":[134,237],"enhances":[135],"exist-ing":[137],"to":[140,153,161,231],"make":[141],"available":[143],"even":[144],"design.":[147],"We":[148,201,235],"pointcut":[151,186],"notion":[152],"specify":[154],"from":[157],"signal-related":[159],"ones":[160],"transition-related":[164],"ones.":[165],"To":[166],"conduct":[167],"proof-of-concept,":[168],"we":[169],"designed":[170,214],"and":[171,181,190,204,220],"implemented":[172],"assertions,":[178],"called":[179],"ASystemC":[180,183],"ASpecC.":[182],"uses":[184,194],"expressions":[187],"AspectC++,":[189],"implementation":[192],"AspectC++":[196],"compiler":[197],"its":[199],"back-end.":[200],"present":[202],"feasibility":[203],"preliminary":[205],"evaluation":[206],"our":[208],"approach":[209],"ASystemC.":[211],"ASpecC":[212],"practical":[216],"use":[217],"mind":[219],"based":[221],"on":[222],"continuation":[224],"join":[225],"point":[226],"model":[227,239],"slight":[229],"modification":[230],"support":[232],"hardware-specific":[233],"matters.":[234],"show":[236],"useful":[241],"mak-ing":[243],"robust.":[247],"1.":[248]},"counts_by_year":[{"year":2012,"cited_by_count":3}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}