{"id":"https://openalex.org/W1976479169","doi":"https://doi.org/10.1002/scj.4690271010","title":"A consistency verification method for design models in design environments","display_name":"A consistency verification method for design models in design environments","publication_year":1996,"publication_date":"1996-01-01","ids":{"openalex":"https://openalex.org/W1976479169","doi":"https://doi.org/10.1002/scj.4690271010","mag":"1976479169"},"language":"en","primary_location":{"id":"doi:10.1002/scj.4690271010","is_oa":false,"landing_page_url":"https://doi.org/10.1002/scj.4690271010","pdf_url":null,"source":{"id":"https://openalex.org/S58208175","display_name":"Systems and Computers in Japan","issn_l":"0882-1666","issn":["0882-1666","1520-684X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Systems and Computers in Japan","raw_type":"journal-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/A5104363962","display_name":"Hiroshi Arai","orcid":"https://orcid.org/0009-0004-9235-3379"},"institutions":[{"id":"https://openalex.org/I1343180700","display_name":"Intel (United States)","ror":"https://ror.org/01ek73717","country_code":"US","type":"company","lineage":["https://openalex.org/I1343180700"]},{"id":"https://openalex.org/I8488066","display_name":"Chiba Institute of Technology","ror":"https://ror.org/00qwnam72","country_code":"JP","type":"education","lineage":["https://openalex.org/I8488066"]}],"countries":["JP","US"],"is_corresponding":true,"raw_author_name":"Hiroshi Arai","raw_affiliation_strings":["Faculty of Engineering, Chiba Institute of Technology, Narashino, Japan 275","Hiroshi Arai:  graduated in 1983 from the Dept. Electrical Eng., Waseda Univ., where, in 1985 he received his Master's degree, and affiliated with Toshiba C o p He was a Research Associate in 1991 at Waseda Univ., and received his Ph.D. degree in 1992. In 1993, Assistant Prof., Dept. Electronic Eng., Chiba Inst. Tech. He is engaged in research on digital hardware function and automation of logic design. He is a member of Inf. Proc. Soc.; Soc. Artif. Intel.; and IEEE","Hiroshi Arai:  graduated in 1983 from the Dept. Electrical Eng., Waseda Univ., where, in 1985 he received his Master's degree, and affiliated with Toshiba C o p He was a Research Associate in 1991 at Waseda Univ., and received his Ph.D. degree in 1992. In 1993, Assistant Prof., Dept. Electronic Eng., Chiba Inst. Tech. He is engaged in research on digital hardware function and automation of logic design. He is a member of Inf. Proc. Soc","IEEE","Soc. Artif. Intel"],"affiliations":[{"raw_affiliation_string":"Faculty of Engineering, Chiba Institute of Technology, Narashino, Japan 275","institution_ids":["https://openalex.org/I8488066"]},{"raw_affiliation_string":"Hiroshi Arai:  graduated in 1983 from the Dept. Electrical Eng., Waseda Univ., where, in 1985 he received his Master's degree, and affiliated with Toshiba C o p He was a Research Associate in 1991 at Waseda Univ., and received his Ph.D. degree in 1992. In 1993, Assistant Prof., Dept. Electronic Eng., Chiba Inst. Tech. He is engaged in research on digital hardware function and automation of logic design. He is a member of Inf. Proc. Soc.; Soc. Artif. Intel.; and IEEE","institution_ids":[]},{"raw_affiliation_string":"Hiroshi Arai:  graduated in 1983 from the Dept. Electrical Eng., Waseda Univ., where, in 1985 he received his Master's degree, and affiliated with Toshiba C o p He was a Research Associate in 1991 at Waseda Univ., and received his Ph.D. degree in 1992. In 1993, Assistant Prof., Dept. Electronic Eng., Chiba Inst. Tech. He is engaged in research on digital hardware function and automation of logic design. He is a member of Inf. Proc. Soc","institution_ids":[]},{"raw_affiliation_string":"IEEE","institution_ids":[]},{"raw_affiliation_string":"Soc. Artif. Intel","institution_ids":["https://openalex.org/I1343180700"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5088654194","display_name":"Yoshiaki Fukazawa","orcid":"https://orcid.org/0000-0003-0196-2108"},"institutions":[{"id":"https://openalex.org/I150744194","display_name":"Waseda University","ror":"https://ror.org/00ntfnx83","country_code":"JP","type":"education","lineage":["https://openalex.org/I150744194"]},{"id":"https://openalex.org/I1343180700","display_name":"Intel (United States)","ror":"https://ror.org/01ek73717","country_code":"US","type":"company","lineage":["https://openalex.org/I1343180700"]}],"countries":["JP","US"],"is_corresponding":false,"raw_author_name":"Yoshiaki Fukazawa","raw_affiliation_strings":["School of Science and Engineering, Waseda University, Tokyo, Japan 169","Yoshiaki Fukazawa:  graduated in 1976 from the Dept. Electrical Eng., Waseda Univ., and received his Ph.D. degree in 1983. He was a Lecturer in 1983 Dept. Inf. Eng., Sagami Inst. Tech. (presently, Shonan Inst. Tech.), Assoc. Prof. in 1987 Dept. Electrical Eng., Sch. Sci. Eng., Waseda Univ., and in 1991, transferred to the new Dept. Inf. Sci. Sci., Waseda Univ. He became Prof. in 1992. He is engaged in research on software engineering and software support for hardware design. He is a member of Inf. Proc. Soc.; Soc. Artif. Intel.; IEEE; and ACM","Yoshiaki Fukazawa:  graduated in 1976 from the Dept. Electrical Eng., Waseda Univ., and received his Ph.D. degree in 1983. He was a Lecturer in 1983 Dept. Inf. Eng., Sagami Inst. Tech. (presently, Shonan Inst. Tech.), Assoc. Prof. in 1987 Dept. Electrical Eng., Sch. Sci. Eng., Waseda Univ., and in 1991, transferred to the new Dept. Inf. Sci. Sci., Waseda Univ. He became Prof. in 1992. He is engaged in research on software engineering and software support for hardware design. He is a member of Inf. Proc. Soc","Soc. Artif. Intel"],"affiliations":[{"raw_affiliation_string":"School of Science and Engineering, Waseda University, Tokyo, Japan 169","institution_ids":["https://openalex.org/I150744194"]},{"raw_affiliation_string":"Yoshiaki Fukazawa:  graduated in 1976 from the Dept. Electrical Eng., Waseda Univ., and received his Ph.D. degree in 1983. He was a Lecturer in 1983 Dept. Inf. Eng., Sagami Inst. Tech. (presently, Shonan Inst. Tech.), Assoc. Prof. in 1987 Dept. Electrical Eng., Sch. Sci. Eng., Waseda Univ., and in 1991, transferred to the new Dept. Inf. Sci. Sci., Waseda Univ. He became Prof. in 1992. He is engaged in research on software engineering and software support for hardware design. He is a member of Inf. Proc. Soc.; Soc. Artif. Intel.; IEEE; and ACM","institution_ids":[]},{"raw_affiliation_string":"Yoshiaki Fukazawa:  graduated in 1976 from the Dept. Electrical Eng., Waseda Univ., and received his Ph.D. degree in 1983. He was a Lecturer in 1983 Dept. Inf. Eng., Sagami Inst. Tech. (presently, Shonan Inst. Tech.), Assoc. Prof. in 1987 Dept. Electrical Eng., Sch. Sci. Eng., Waseda Univ., and in 1991, transferred to the new Dept. Inf. Sci. Sci., Waseda Univ. He became Prof. in 1992. He is engaged in research on software engineering and software support for hardware design. He is a member of Inf. Proc. Soc","institution_ids":[]},{"raw_affiliation_string":"Soc. Artif. Intel","institution_ids":["https://openalex.org/I1343180700"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5104363962"],"corresponding_institution_ids":["https://openalex.org/I1343180700","https://openalex.org/I8488066"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.15653139,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"27","issue":"10","first_page":"98","last_page":"107"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11159","display_name":"Manufacturing Process and Optimization","score":0.9973999857902527,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11159","display_name":"Manufacturing Process and Optimization","score":0.9973999857902527,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11729","display_name":"Product Development and Customization","score":0.9915000200271606,"subfield":{"id":"https://openalex.org/subfields/1405","display_name":"Management of Technology and Innovation"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9763000011444092,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/computer-science","display_name":"Computer science","score":0.8330079317092896},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.6566799879074097},{"id":"https://openalex.org/keywords/semantic-data-model","display_name":"Semantic data model","score":0.6484296321868896},{"id":"https://openalex.org/keywords/netlist","display_name":"Netlist","score":0.60495924949646},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5419415235519409},{"id":"https://openalex.org/keywords/syntax","display_name":"Syntax","score":0.4869424104690552},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.4445214569568634},{"id":"https://openalex.org/keywords/interchangeability","display_name":"Interchangeability","score":0.4422285556793213},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3678323030471802},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3590129613876343},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.27942702174186707},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.22172847390174866},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.09272059798240662}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8330079317092896},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.6566799879074097},{"id":"https://openalex.org/C90312973","wikidata":"https://www.wikidata.org/wiki/Q7449052","display_name":"Semantic data model","level":2,"score":0.6484296321868896},{"id":"https://openalex.org/C177650935","wikidata":"https://www.wikidata.org/wiki/Q1760303","display_name":"Netlist","level":2,"score":0.60495924949646},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5419415235519409},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.4869424104690552},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.4445214569568634},{"id":"https://openalex.org/C2779606619","wikidata":"https://www.wikidata.org/wiki/Q17092524","display_name":"Interchangeability","level":2,"score":0.4422285556793213},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3678323030471802},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3590129613876343},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.27942702174186707},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.22172847390174866},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.09272059798240662}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1002/scj.4690271010","is_oa":false,"landing_page_url":"https://doi.org/10.1002/scj.4690271010","pdf_url":null,"source":{"id":"https://openalex.org/S58208175","display_name":"Systems and Computers in Japan","issn_l":"0882-1666","issn":["0882-1666","1520-684X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Systems and Computers in Japan","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":7,"referenced_works":["https://openalex.org/W1859692167","https://openalex.org/W2007989322","https://openalex.org/W2028544887","https://openalex.org/W2089634871","https://openalex.org/W2170986671","https://openalex.org/W4248204752","https://openalex.org/W4300904824"],"related_works":["https://openalex.org/W2367063746","https://openalex.org/W601292351","https://openalex.org/W1583204413","https://openalex.org/W2335017665","https://openalex.org/W2348347833","https://openalex.org/W2170314243","https://openalex.org/W1547279692","https://openalex.org/W2119179026","https://openalex.org/W2086770499","https://openalex.org/W2984198677"],"abstract_inverted_index":{"Abstract":[0],"This":[1],"paper":[2],"considers":[3],"the":[4,10,22,25,30,34,40,50,53,59,72,76,79,83,86,93,97,104,110,118,126,133,137,140,150],"set":[5,26,41],"of":[6,27,42,52,82],"tools":[7,28,43,84],"built":[8],"in":[9,48],"design":[11,35,54,127],"environment":[12,37,95,129],"for":[13],"digital":[14],"hardware,":[15],"and":[16,29,85,136],"proposes":[17],"a":[18],"method":[19,122],"to":[20,89,96,125],"verify":[21],"consistency":[23],"between":[24,71,109,117],"data":[31,46,55,61,73,80,87,111],"model.":[32],"In":[33,63,75],"support":[36,128],"which":[38,145],"integrates":[39],"with":[44],"different":[45],"models":[47,81,88,112],"general,":[49],"interchangeability":[51],"is":[56,113],"maintained":[57],"through":[58],"common":[60],"format.":[62],"practice,":[64],"however,":[65],"semantic":[66,105,119,141],"gaps":[67],"are":[68,100],"often":[69],"produced":[70],"models.":[74],"proposed":[77],"method,":[78],"be":[90],"presented":[91],"by":[92,115],"whole":[94],"hardware":[98],"designer":[99],"formally":[101],"defined":[102],"using":[103],"network.":[106],"The":[107,121],"difference":[108],"extracted":[114],"operations":[116],"networks.":[120],"was":[123],"applied":[124],"based":[130],"mostly":[131],"on":[132],"netlist":[134],"information,":[135],"inconsistencies":[138],"at":[139,149],"level":[142],"were":[143],"detected,":[144],"has":[146],"been":[147],"difficult":[148],"syntax":[151],"level.":[152]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}