{"id":"https://openalex.org/W4860955","doi":"https://doi.org/10.1007/978-1-4612-3658-0_3","title":"Specification-driven Design of Custom Hardware in HOP","display_name":"Specification-driven Design of Custom Hardware in HOP","publication_year":1989,"publication_date":"1989-01-01","ids":{"openalex":"https://openalex.org/W4860955","doi":"https://doi.org/10.1007/978-1-4612-3658-0_3","mag":"4860955"},"language":"en","primary_location":{"id":"doi:10.1007/978-1-4612-3658-0_3","doi":"https://doi.org/10.1007/978-1-4612-3658-0_3","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-1-4612-3658-0_3","pdf_url":null,"source":{"id":"https://openalex.org/S4306463937","display_name":"Springer eBooks","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/P4310319965","host_organization_name":"Springer Nature","host_organization_lineage":["https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Nature"],"type":"ebook platform"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Current Trends in Hardware Verification and Automated Theorem Proving","raw_type":"book-chapter"},"volume":{"id":"https://openalex.org/W1513782751","display_name":"Current Trends in Hardware Verification and Automated Theorem Proving"},"type":"book-chapter","is_traditional":true,"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/A5103146139","display_name":"Ganesh Gopalakrishnan","orcid":"https://orcid.org/0000-0002-4161-9278","observed_orcids":["https://orcid.org/0000-0002-4161-9278"]},"institutions":[{"id":"https://openalex.org/I223532165","display_name":"University of Utah","ror":"https://ror.org/03r0ha626","country_code":"US","type":"education","lineage":["https://openalex.org/I223532165"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ganesh C. Gopalakrishnan","raw_affiliation_strings":["Dept. of Computer Science, University of Utah Salt Lake City, Utah, 84112, USA","University of Utah, Salt Lake City"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dept. of Computer Science, University of Utah Salt Lake City, Utah, 84112, USA","institution_ids":["https://openalex.org/I223532165"]},{"raw_affiliation_string":"University of Utah, Salt Lake City","institution_ids":["https://openalex.org/I223532165"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5109844686","display_name":"Richard M. Fujimoto","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I223532165","display_name":"University of Utah","ror":"https://ror.org/03r0ha626","country_code":"US","type":"education","lineage":["https://openalex.org/I223532165"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Richard M. Fujimoto","raw_affiliation_strings":["Dept. of Computer Science, University of Utah Salt Lake City, Utah, 84112, USA","University of Utah, Salt Lake City"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dept. of Computer Science, University of Utah Salt Lake City, Utah, 84112, USA","institution_ids":["https://openalex.org/I223532165"]},{"raw_affiliation_string":"University of Utah, Salt Lake City","institution_ids":["https://openalex.org/I223532165"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5089377852","display_name":"Venkatesh Akella","orcid":"https://orcid.org/0000-0003-3014-5326","observed_orcids":["https://orcid.org/0000-0003-3014-5326"]},"institutions":[{"id":"https://openalex.org/I223532165","display_name":"University of Utah","ror":"https://ror.org/03r0ha626","country_code":"US","type":"education","lineage":["https://openalex.org/I223532165"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Venkatesh Akella","raw_affiliation_strings":["Dept. of Computer Science, University of Utah Salt Lake City, Utah, 84112, USA","University of Utah, Salt Lake City"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dept. of Computer Science, University of Utah Salt Lake City, Utah, 84112, USA","institution_ids":["https://openalex.org/I223532165"]},{"raw_affiliation_string":"University of Utah, Salt Lake City","institution_ids":["https://openalex.org/I223532165"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5050033852","display_name":"Narayana S. Mani","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I223532165","display_name":"University of Utah","ror":"https://ror.org/03r0ha626","country_code":"US","type":"education","lineage":["https://openalex.org/I223532165"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"N. S. Mani","raw_affiliation_strings":["Dept. of Computer Science, University of Utah Salt Lake City, Utah, 84112, USA","University of Utah, Salt Lake City"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dept. of Computer Science, University of Utah Salt Lake City, Utah, 84112, USA","institution_ids":["https://openalex.org/I223532165"]},{"raw_affiliation_string":"University of Utah, Salt Lake City","institution_ids":["https://openalex.org/I223532165"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5079585243","display_name":"Kevin N. Smith","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I223532165","display_name":"University of Utah","ror":"https://ror.org/03r0ha626","country_code":"US","type":"education","lineage":["https://openalex.org/I223532165"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Kevin N. Smith","raw_affiliation_strings":["Dept. of Computer Science, University of Utah Salt Lake City, Utah, 84112, USA","University of Utah, Salt Lake City"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dept. of Computer Science, University of Utah Salt Lake City, Utah, 84112, USA","institution_ids":["https://openalex.org/I223532165"]},{"raw_affiliation_string":"University of Utah, Salt Lake City","institution_ids":["https://openalex.org/I223532165"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I223532165"],"apc_list":null,"apc_paid":null,"fwci":4.4928,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.95652174,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"128","last_page":"170"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9603999853134155,"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.9603999853134155,"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/T11522","display_name":"VLSI and FPGA Design Techniques","score":0.017500000074505806,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic 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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.006500000134110451,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/hardware-specification","display_name":"hardware specification","score":0.6949999928474426},{"id":"https://openalex.org/keywords/process-model","display_name":"process model","score":0.7770000100135803},{"id":"https://openalex.org/keywords/symbolic-simulation","display_name":"symbolic simulation","score":0.9449999928474426},{"id":"https://openalex.org/keywords/hardware-verification","display_name":"hardware verification","score":0.5590000152587891},{"id":"https://openalex.org/keywords/vlsi-layout","display_name":"VLSI layout","score":0.9169999957084656},{"id":"https://openalex.org/keywords/distributed-discrete-event-simulation","display_name":"distributed discrete event simulation","score":0.8669999837875366},{"id":"https://openalex.org/keywords/time-warp","display_name":"Time Warp","score":0.8349999785423279},{"id":"https://openalex.org/keywords/custom-hardware","display_name":"custom hardware","score":0.4819999933242798}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7681737542152405},{"id":"https://openalex.org/C25906391","wikidata":"https://www.wikidata.org/wiki/Q1432381","display_name":"Hop (telecommunications)","level":2,"score":0.6381000280380249},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.48935049772262573},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.48070794343948364},{"id":"https://openalex.org/C14580979","wikidata":"https://www.wikidata.org/wiki/Q876049","display_name":"Very-large-scale integration","level":2,"score":0.42213842272758484},{"id":"https://openalex.org/C147203929","wikidata":"https://www.wikidata.org/wiki/Q574814","display_name":"Discrete event simulation","level":2,"score":0.41697216033935547},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3870530128479004},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.3366289436817169},{"id":"https://openalex.org/C44154836","wikidata":"https://www.wikidata.org/wiki/Q45045","display_name":"Simulation","level":1,"score":0.11293315887451172},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.09694412350654602},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-1-4612-3658-0_3","doi":"https://doi.org/10.1007/978-1-4612-3658-0_3","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-1-4612-3658-0_3","pdf_url":null,"source":{"id":"https://openalex.org/S4306463937","display_name":"Springer eBooks","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/P4310319965","host_organization_name":"Springer Nature","host_organization_lineage":["https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Nature"],"type":"ebook platform"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Current Trends in Hardware Verification and Automated Theorem Proving","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":41,"referenced_works":["https://openalex.org/W69271921","https://openalex.org/W85132038","https://openalex.org/W86571985","https://openalex.org/W131298288","https://openalex.org/W187163030","https://openalex.org/W217577946","https://openalex.org/W647911039","https://openalex.org/W1525749267","https://openalex.org/W1554812212","https://openalex.org/W1566674182","https://openalex.org/W1606316858","https://openalex.org/W1607877490","https://openalex.org/W1969370991","https://openalex.org/W1980051887","https://openalex.org/W1981136553","https://openalex.org/W1997273919","https://openalex.org/W2001748564","https://openalex.org/W2003131643","https://openalex.org/W2010009487","https://openalex.org/W2011523523","https://openalex.org/W2015874281","https://openalex.org/W2031357272","https://openalex.org/W2036800932","https://openalex.org/W2037626756","https://openalex.org/W2052728499","https://openalex.org/W2059454390","https://openalex.org/W2080429490","https://openalex.org/W2096360482","https://openalex.org/W2103798031","https://openalex.org/W2118229393","https://openalex.org/W2123586642","https://openalex.org/W2125160464","https://openalex.org/W2137865376","https://openalex.org/W2139222082","https://openalex.org/W2158819098","https://openalex.org/W2178223746","https://openalex.org/W2296636214","https://openalex.org/W2798525073","https://openalex.org/W3013442367","https://openalex.org/W4240821204","https://openalex.org/W6678691610"],"related_works":["https://openalex.org/W283071843","https://openalex.org/W2782798326","https://openalex.org/W1493892519","https://openalex.org/W2164119794","https://openalex.org/W4237005177","https://openalex.org/W1551090993","https://openalex.org/W2058849877","https://openalex.org/W2397763578","https://openalex.org/W4210694177","https://openalex.org/W2147455277"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-10-16T09:59:22.235173","created_date":"2016-06-24T00:00:00"}