{"id":"https://openalex.org/W4246596043","doi":"https://doi.org/10.1109/dac.1983.1585718","title":"An Algebra for Logic Strength Simulation","display_name":"An Algebra for Logic Strength Simulation","publication_year":1983,"publication_date":"1983-01-01","ids":{"openalex":"https://openalex.org/W4246596043","doi":"https://doi.org/10.1109/dac.1983.1585718","mag":"2064105914"},"language":"en","primary_location":{"id":"doi:10.1109/dac.1983.1585718","doi":"https://doi.org/10.1109/dac.1983.1585718","is_oa":false,"landing_page_url":"https://doi.org/10.1109/dac.1983.1585718","pdf_url":null,"source":{"id":"https://openalex.org/S4210231368","display_name":"ACM/IEEE Design Automation Conference (DAC)","issn_l":"0738-100X","issn":["0738-100X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core"],"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"20th Design Automation Conference Proceedings","raw_type":"proceedings-article"},"volume":null,"type":"conference-paper","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/A5089238424","display_name":"Peter Flake","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"P.L. Flake","raw_affiliation_strings":["Cirrus Computers Limited, Uxbridge, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Cirrus Computers Limited, Uxbridge, UK","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019212620","display_name":"Philip R. Moorby","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"P.R. Moorby","raw_affiliation_strings":["Cirrus Computers Limited, Uxbridge, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Cirrus Computers Limited, Uxbridge, UK","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5013863474","display_name":"G. Musgrave","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"G. Musgrave","raw_affiliation_strings":["Cirrus Computers Limited, Uxbridge, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Cirrus Computers Limited, Uxbridge, UK","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.6242,"has_fulltext":false,"cited_by_count":21,"citation_normalized_percentile":{"value":0.9295302,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":88,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"615","last_page":"618"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9028000235557556,"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/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9028000235557556,"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.033900000154972076,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.02710000053048134,"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/fault-simulation","display_name":"fault simulation","score":0.8830000162124634},{"id":"https://openalex.org/keywords/test-case-generation","display_name":"test case generation","score":0.9369999766349792},{"id":"https://openalex.org/keywords/high-impedance","display_name":"high impedance","score":0.6949999928474426},{"id":"https://openalex.org/keywords/design-verification","display_name":"design verification","score":0.6359999775886536},{"id":"https://openalex.org/keywords/search-space-reduction","display_name":"search space reduction","score":0.5860000252723694}],"concepts":[{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.5773957371711731},{"id":"https://openalex.org/C9992130","wikidata":"https://www.wikidata.org/wiki/Q484954","display_name":"Pessimism","level":2,"score":0.5558183193206787},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.5223958492279053},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.4876314699649811},{"id":"https://openalex.org/C28449271","wikidata":"https://www.wikidata.org/wiki/Q6667469","display_name":"Logic optimization","level":4,"score":0.4773431122303009},{"id":"https://openalex.org/C175551986","wikidata":"https://www.wikidata.org/wiki/Q47089","display_name":"Fault (geology)","level":2,"score":0.4596838653087616},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.44478073716163635},{"id":"https://openalex.org/C157922185","wikidata":"https://www.wikidata.org/wiki/Q173198","display_name":"Logic synthesis","level":3,"score":0.40354207158088684},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.38104432821273804},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3622169494628906},{"id":"https://openalex.org/C131017901","wikidata":"https://www.wikidata.org/wiki/Q170451","display_name":"Logic gate","level":2,"score":0.29752156138420105},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.23934710025787354},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C165205528","wikidata":"https://www.wikidata.org/wiki/Q83371","display_name":"Seismology","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/dac.1983.1585718","doi":"https://doi.org/10.1109/dac.1983.1585718","is_oa":false,"landing_page_url":"https://doi.org/10.1109/dac.1983.1585718","pdf_url":null,"source":{"id":"https://openalex.org/S4210231368","display_name":"ACM/IEEE Design Automation Conference (DAC)","issn_l":"0738-100X","issn":["0738-100X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core"],"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"20th Design Automation Conference Proceedings","raw_type":"proceedings-article"},{"id":"mag:2064105914","doi":null,"is_oa":false,"landing_page_url":"https://dblp.uni-trier.de/db/conf/dac/dac1983.html#FlakeMM83","pdf_url":null,"source":{"id":"https://openalex.org/S4210231368","display_name":"ACM/IEEE Design Automation Conference (DAC)","issn_l":"0738-100X","issn":["0738-100X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core"],"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"Design Automation Conference","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":9,"referenced_works":["https://openalex.org/W103343331","https://openalex.org/W1677852443","https://openalex.org/W2004437077","https://openalex.org/W2768936553","https://openalex.org/W4230872212","https://openalex.org/W4243505371","https://openalex.org/W4249414802","https://openalex.org/W4254843332","https://openalex.org/W4255895279"],"related_works":["https://openalex.org/W2044427141","https://openalex.org/W2002006950","https://openalex.org/W2108616305","https://openalex.org/W7096737338","https://openalex.org/W2165774750","https://openalex.org/W2088646336","https://openalex.org/W2131391640","https://openalex.org/W2065005875","https://openalex.org/W2123033905","https://openalex.org/W2001290765"],"abstract_inverted_index":{"To":[0],"simulate":[1],"tri-state":[2,60],"logic":[3,23,63],"in":[4,68],"a":[5,8,35],"non-pessimistic":[6,55],"way,":[7],"six":[9],"valued":[10,37],"algebra":[11],"is":[12,18,42],"shown":[13],"to":[14,21],"be":[15],"necessary.":[16],"This":[17],"then":[19],"extended":[20],"quin-state":[22,62],"(strong":[24],"0,":[25,29],"strong":[26],"1,":[27,31],"weak":[28,30],"high":[32],"impedance)":[33],"and":[34,61,75],"fifteen":[36],"algebra.":[38],"The":[39,52],"improved":[40],"accuracy":[41],"as":[43,48],"important":[44],"for":[45,49,54,59],"fault":[46],"simulation":[47],"design":[50],"verification.":[51],"requirements":[53],"test":[56,69],"generation":[57,70],"algebras":[58],"are":[64],"also":[65],"discussed.":[66],"Pessimism":[67],"increases":[71],"the":[72,77],"search":[73],"space":[74],"hence":[76],"run":[78],"time.":[79]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2016,"cited_by_count":1}],"updated_date":"2026-11-06T12:05:46.655746","created_date":"2022-05-12T00:00:00"}