{"id":"https://openalex.org/W2002328633","doi":"https://doi.org/10.1109/tc.1983.1676294","title":"An Abstract Model of Behavior for Hardware Descriptions","display_name":"An Abstract Model of Behavior for Hardware Descriptions","publication_year":1983,"publication_date":"1983-07-01","ids":{"openalex":"https://openalex.org/W2002328633","doi":"https://doi.org/10.1109/tc.1983.1676294","mag":"2002328633"},"language":"en","primary_location":{"id":"doi:10.1109/tc.1983.1676294","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tc.1983.1676294","pdf_url":null,"source":{"id":"https://openalex.org/S157670870","display_name":"IEEE Transactions on Computers","issn_l":"0018-9340","issn":["0018-9340","1557-9956","2326-3814"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computers","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/A5097799218","display_name":"McFarland","orcid":null},"institutions":[{"id":"https://openalex.org/I103531236","display_name":"Boston College","ror":"https://ror.org/02n2fzt79","country_code":"US","type":"education","lineage":["https://openalex.org/I103531236"]},{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"McFarland","raw_affiliation_strings":["Department of Computer Science, Boston College","Department of Computer Science, Boston College Graduate School, Chestnut Hill, MA, USA","Department of Electrical Engineering, Carnegie Mellon University, Pittsburgh, PA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Boston College","institution_ids":["https://openalex.org/I103531236"]},{"raw_affiliation_string":"Department of Computer Science, Boston College Graduate School, Chestnut Hill, MA, USA","institution_ids":["https://openalex.org/I103531236"]},{"raw_affiliation_string":"Department of Electrical Engineering, Carnegie Mellon University, Pittsburgh, PA, USA","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"last","author":{"id":null,"display_name":"Parker","orcid":null},"institutions":[{"id":"https://openalex.org/I1174212","display_name":"University of Southern California","ror":"https://ror.org/03taz7m60","country_code":"US","type":"education","lineage":["https://openalex.org/I1174212"]},{"id":"https://openalex.org/I4210116219","display_name":"Engineering Systems (United States)","ror":"https://ror.org/02qg60849","country_code":"US","type":"company","lineage":["https://openalex.org/I4210116219"]},{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Parker","raw_affiliation_strings":["Department of Electrical Engineering Systems, University of Southern California, Los Angeles, CA, USA","Department of Electrical Engineering, Carnegie Mellon University, Pittsburgh, PA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering Systems, University of Southern California, Los Angeles, CA, USA","institution_ids":["https://openalex.org/I4210116219","https://openalex.org/I1174212"]},{"raw_affiliation_string":"Department of Electrical Engineering, Carnegie Mellon University, Pittsburgh, PA, USA","institution_ids":["https://openalex.org/I74973139"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.1435,"has_fulltext":false,"cited_by_count":45,"citation_normalized_percentile":{"value":0.75041051,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"C-32","issue":"7","first_page":"621","last_page":"637"},"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.9995999932289124,"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/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9976999759674072,"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.7913575172424316},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.6393679976463318},{"id":"https://openalex.org/keywords/transformation","display_name":"Transformation (genetics)","score":0.5537044405937195},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5467579960823059},{"id":"https://openalex.org/keywords/automation","display_name":"Automation","score":0.4517013132572174},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.44428619742393494},{"id":"https://openalex.org/keywords/hardware-description-language","display_name":"Hardware description language","score":0.43115121126174927},{"id":"https://openalex.org/keywords/behavioral-modeling","display_name":"Behavioral modeling","score":0.421923965215683},{"id":"https://openalex.org/keywords/computer-engineering","display_name":"Computer engineering","score":0.3283277153968811},{"id":"https://openalex.org/keywords/computer-hardware","display_name":"Computer hardware","score":0.26730597019195557},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2447684407234192},{"id":"https://openalex.org/keywords/field-programmable-gate-array","display_name":"Field-programmable gate array","score":0.10115912556648254},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.09532451629638672}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7913575172424316},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.6393679976463318},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.5537044405937195},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5467579960823059},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.4517013132572174},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.44428619742393494},{"id":"https://openalex.org/C42143788","wikidata":"https://www.wikidata.org/wiki/Q173341","display_name":"Hardware description language","level":3,"score":0.43115121126174927},{"id":"https://openalex.org/C78639753","wikidata":"https://www.wikidata.org/wiki/Q3318160","display_name":"Behavioral modeling","level":2,"score":0.421923965215683},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.3283277153968811},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.26730597019195557},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2447684407234192},{"id":"https://openalex.org/C42935608","wikidata":"https://www.wikidata.org/wiki/Q190411","display_name":"Field-programmable gate array","level":2,"score":0.10115912556648254},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.09532451629638672},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tc.1983.1676294","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tc.1983.1676294","pdf_url":null,"source":{"id":"https://openalex.org/S157670870","display_name":"IEEE Transactions on Computers","issn_l":"0018-9340","issn":["0018-9340","1557-9956","2326-3814"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computers","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":39,"referenced_works":["https://openalex.org/W160281756","https://openalex.org/W1481852569","https://openalex.org/W1969857501","https://openalex.org/W1972936324","https://openalex.org/W1978615928","https://openalex.org/W1992700801","https://openalex.org/W2003446039","https://openalex.org/W2011934542","https://openalex.org/W2024555067","https://openalex.org/W2028749987","https://openalex.org/W2037677880","https://openalex.org/W2062968803","https://openalex.org/W2077265102","https://openalex.org/W2103953153","https://openalex.org/W2108690377","https://openalex.org/W2115982055","https://openalex.org/W2118387410","https://openalex.org/W2118653063","https://openalex.org/W2136291591","https://openalex.org/W2137865376","https://openalex.org/W2149915878","https://openalex.org/W2151402235","https://openalex.org/W2154955407","https://openalex.org/W2166089338","https://openalex.org/W2294466096","https://openalex.org/W2378259225","https://openalex.org/W2611356538","https://openalex.org/W2987907651","https://openalex.org/W3139004216","https://openalex.org/W3146075203","https://openalex.org/W4230088007","https://openalex.org/W4231990911","https://openalex.org/W4237535475","https://openalex.org/W4248739734","https://openalex.org/W4251912342","https://openalex.org/W4254860142","https://openalex.org/W4255135910","https://openalex.org/W4256079109","https://openalex.org/W6998728838"],"related_works":["https://openalex.org/W3023106949","https://openalex.org/W1491192879","https://openalex.org/W2011215728","https://openalex.org/W1655601637","https://openalex.org/W2151941088","https://openalex.org/W1594133673","https://openalex.org/W2117682489","https://openalex.org/W2542049944","https://openalex.org/W1586809517","https://openalex.org/W2115511392"],"abstract_inverted_index":{"As":[0],"part":[1],"of":[2,37,48,94,118,131],"our":[3],"research":[4],"on":[5,65],"the":[6,20,35,49,54,77,91,101,106,116],"Carnegie-Mellon":[7],"University":[8],"Design":[9],"Automation":[10],"System,":[11],"we":[12,41],"have":[13,29,42],"been":[14],"investigating":[15],"methods":[16],"for":[17,34],"proving":[18],"that":[19,46,86],"system":[21,56],"produces":[22],"correct":[23,26],"designs":[24],"from":[25],"specifications.":[27],"We":[28],"developed":[30],"a":[31,132],"mathematical":[32],"model":[33],"behavior":[36,117],"hardware":[38,123],"descriptions,":[39],"which":[40,62,97],"used":[43,52,81,113],"to":[44,71,114],"prove":[45],"some":[47],"optimizing":[50],"transformations":[51],"in":[53,82,85,120],"design":[55],"preserve":[57],"behavioral":[58],"equivalence.":[59],"The":[60],"model,":[61,107],"is":[63],"based":[64],"regular":[66],"expressions":[67],"modified":[68],"by":[69],"predicates":[70],"show":[72],"data":[73],"dependence,":[74],"goes":[75],"beyond":[76],"usual":[78],"computational":[79],"models":[80],"program":[83],"verification,":[84],"it":[87,110],"takes":[88],"into":[89],"account":[90],"proper":[92],"sequencing":[93],"those":[95],"\"events\"":[96],"represent":[98,115],"interactions":[99],"with":[100],"environment.":[102],"This":[103],"paper":[104],"presents":[105],"shows":[108],"how":[109],"can":[111],"be":[112],"descriptions":[119],"an":[121,128],"ISP-like":[122],"description":[124],"language,":[125],"and":[126],"gives":[127],"example":[129],"proof":[130],"transformation.":[133]},"counts_by_year":[{"year":2012,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}