{"id":"https://openalex.org/W1520644527","doi":"https://doi.org/10.1109/mipro.2015.7160433","title":"The Computer Architecture and Hardware Description Language","display_name":"The Computer Architecture and Hardware Description Language","publication_year":2015,"publication_date":"2015-05-01","ids":{"openalex":"https://openalex.org/W1520644527","doi":"https://doi.org/10.1109/mipro.2015.7160433","mag":"1520644527"},"language":"en","primary_location":{"id":"doi:10.1109/mipro.2015.7160433","is_oa":false,"landing_page_url":"https://doi.org/10.1109/mipro.2015.7160433","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 38th International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO)","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/A5004768203","display_name":"A.S. Burlakov","orcid":null},"institutions":[{"id":"https://openalex.org/I4210148533","display_name":"Institute for System Dynamics and Control Theory","ror":"https://ror.org/04wteqw51","country_code":"RU","type":"facility","lineage":["https://openalex.org/I1313323035","https://openalex.org/I1313323035","https://openalex.org/I4210127387","https://openalex.org/I4210148533","https://openalex.org/I4210164537"]}],"countries":["RU"],"is_corresponding":true,"raw_author_name":"A.S. Burlakov","raw_affiliation_strings":["Siberian Branch of Russian Academy of Sciences, Institute for System Dynamics and Control Theory, Irkutsk, Russian Federation","Institute for System Dynamics and Control Theory of Siberian Branch of Russian Academy of Sciences, Irkutsk, Russian Federation"],"affiliations":[{"raw_affiliation_string":"Siberian Branch of Russian Academy of Sciences, Institute for System Dynamics and Control Theory, Irkutsk, Russian Federation","institution_ids":["https://openalex.org/I4210148533"]},{"raw_affiliation_string":"Institute for System Dynamics and Control Theory of Siberian Branch of Russian Academy of Sciences, Irkutsk, Russian Federation","institution_ids":["https://openalex.org/I4210148533"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5081286184","display_name":"Alexei E. Hmelnov","orcid":"https://orcid.org/0000-0002-0125-1130"},"institutions":[{"id":"https://openalex.org/I4210148533","display_name":"Institute for System Dynamics and Control Theory","ror":"https://ror.org/04wteqw51","country_code":"RU","type":"facility","lineage":["https://openalex.org/I1313323035","https://openalex.org/I1313323035","https://openalex.org/I4210127387","https://openalex.org/I4210148533","https://openalex.org/I4210164537"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"A.E. Khmelnov","raw_affiliation_strings":["Siberian Branch of Russian Academy of Sciences, Institute for System Dynamics and Control Theory, Irkutsk, Russian Federation","Institute for System Dynamics and Control Theory of Siberian Branch of Russian Academy of Sciences, Irkutsk, Russian Federation"],"affiliations":[{"raw_affiliation_string":"Siberian Branch of Russian Academy of Sciences, Institute for System Dynamics and Control Theory, Irkutsk, Russian Federation","institution_ids":["https://openalex.org/I4210148533"]},{"raw_affiliation_string":"Institute for System Dynamics and Control Theory of Siberian Branch of Russian Academy of Sciences, Irkutsk, Russian Federation","institution_ids":["https://openalex.org/I4210148533"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5004768203"],"corresponding_institution_ids":["https://openalex.org/I4210148533"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.02261873,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"12","issue":null,"first_page":"1066","last_page":"1070"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9986000061035156,"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"}},"topics":[{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9986000061035156,"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/T10142","display_name":"Formal Methods in Verification","score":0.9944000244140625,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9941999912261963,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8733741044998169},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.7712607383728027},{"id":"https://openalex.org/keywords/parsing","display_name":"Parsing","score":0.6480681896209717},{"id":"https://openalex.org/keywords/architecture","display_name":"Architecture","score":0.5808606147766113},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5682284235954285},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.5628329515457153},{"id":"https://openalex.org/keywords/hardware-description-language","display_name":"Hardware description language","score":0.5237134099006653},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.45773956179618835},{"id":"https://openalex.org/keywords/assembly-language","display_name":"Assembly language","score":0.45506688952445984},{"id":"https://openalex.org/keywords/hardware-architecture","display_name":"Hardware architecture","score":0.4421389400959015},{"id":"https://openalex.org/keywords/computer-hardware","display_name":"Computer hardware","score":0.31250235438346863},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.2340640425682068},{"id":"https://openalex.org/keywords/field-programmable-gate-array","display_name":"Field-programmable gate array","score":0.07242098450660706}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8733741044998169},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.7712607383728027},{"id":"https://openalex.org/C186644900","wikidata":"https://www.wikidata.org/wiki/Q194152","display_name":"Parsing","level":2,"score":0.6480681896209717},{"id":"https://openalex.org/C123657996","wikidata":"https://www.wikidata.org/wiki/Q12271","display_name":"Architecture","level":2,"score":0.5808606147766113},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5682284235954285},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.5628329515457153},{"id":"https://openalex.org/C42143788","wikidata":"https://www.wikidata.org/wiki/Q173341","display_name":"Hardware description language","level":3,"score":0.5237134099006653},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.45773956179618835},{"id":"https://openalex.org/C50831359","wikidata":"https://www.wikidata.org/wiki/Q165436","display_name":"Assembly language","level":3,"score":0.45506688952445984},{"id":"https://openalex.org/C65232700","wikidata":"https://www.wikidata.org/wiki/Q5656403","display_name":"Hardware architecture","level":3,"score":0.4421389400959015},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.31250235438346863},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.2340640425682068},{"id":"https://openalex.org/C42935608","wikidata":"https://www.wikidata.org/wiki/Q190411","display_name":"Field-programmable gate array","level":2,"score":0.07242098450660706},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/mipro.2015.7160433","is_oa":false,"landing_page_url":"https://doi.org/10.1109/mipro.2015.7160433","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 38th International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":7,"referenced_works":["https://openalex.org/W1507132751","https://openalex.org/W1590693568","https://openalex.org/W1715248483","https://openalex.org/W2024347417","https://openalex.org/W2064490449","https://openalex.org/W2136439370","https://openalex.org/W4293583580"],"related_works":["https://openalex.org/W1991876452","https://openalex.org/W4242997962","https://openalex.org/W2372502659","https://openalex.org/W3210473250","https://openalex.org/W2097770333","https://openalex.org/W2167159769","https://openalex.org/W2464088295","https://openalex.org/W2108185070","https://openalex.org/W2106378884","https://openalex.org/W2135642024"],"abstract_inverted_index":{"The":[0,83],"paper":[1,73,84],"introduces":[2],"CAHDL,":[3],"the":[4,69,72],"Computer":[5],"Architecture":[6],"and":[7,18,44,60,92],"Hardware":[8],"Description":[9],"Language.":[10],"CAHDL":[11,23,37,51,77,87],"is":[12,31,38,78],"aimed":[13],"to":[14,27,41],"specify":[15,42],"processor":[16],"instructions":[17],"computer":[19,66,81],"hardware":[20,45],"formally.":[21],"Although":[22],"supports":[24],"RTL":[25],"modeling":[26],"some":[28,86],"extent,":[29],"it":[30],"does":[32],"not":[33],"describe":[34],"digital":[35],"circuits.":[36],"designed":[39],"first":[40],"CPU":[43],"behavior,":[46],"rather":[47],"than":[48],"their":[49,94],"structure.":[50],"can":[52],"be":[53],"applied":[54,79],"in":[55,80],"simulators,":[56],"compilers,":[57],"disassemblers,":[58],"testers":[59],"other":[61],"programs":[62],"requiring":[63],"specification":[64],"of":[65,71],"architecture.":[67],"In":[68],"end":[70],"we":[74],"observe":[75],"how":[76],"simulation.":[82],"brings":[85],"syntactic":[88],"constructions":[89],"as":[90],"examples":[91],"explains":[93],"semantics.":[95],"Parsing":[96],"methods":[97],"are":[98],"also":[99],"briefly":[100],"reviewed.":[101]},"counts_by_year":[{"year":2019,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}