{"id":"https://openalex.org/W2045291979","doi":"https://doi.org/10.1002/scj.4690180204","title":"Description and verification of input constraints and input\u2010output specifications of logic circuits","display_name":"Description and verification of input constraints and input\u2010output specifications of logic circuits","publication_year":1987,"publication_date":"1987-01-01","ids":{"openalex":"https://openalex.org/W2045291979","doi":"https://doi.org/10.1002/scj.4690180204","mag":"2045291979"},"language":"en","primary_location":{"id":"doi:10.1002/scj.4690180204","is_oa":false,"landing_page_url":"https://doi.org/10.1002/scj.4690180204","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/A5102122413","display_name":"Shinji Kimura","orcid":null},"institutions":[{"id":"https://openalex.org/I22299242","display_name":"Kyoto University","ror":"https://ror.org/02kpeqv85","country_code":"JP","type":"education","lineage":["https://openalex.org/I22299242"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Shinji Kimura","raw_affiliation_strings":["Faculty of Engineering, Kyoto University, Kyoto, Japan 606","Sinji Kimura. Graduated 1982 Dept. Inf. Sci., Fac. Eng., Kyoto University. Completed Master's program 1984 Grad. School. Presently, Associate Professor, Dept. of Electronics Eng., Kobe University. Engaged in researches in design verification of logic circuit. Member Inf. Proc. SOC. Japan, and I.E.E.E"],"affiliations":[{"raw_affiliation_string":"Faculty of Engineering, Kyoto University, Kyoto, Japan 606","institution_ids":["https://openalex.org/I22299242"]},{"raw_affiliation_string":"Sinji Kimura. Graduated 1982 Dept. Inf. Sci., Fac. Eng., Kyoto University. Completed Master's program 1984 Grad. School. Presently, Associate Professor, Dept. of Electronics Eng., Kobe University. Engaged in researches in design verification of logic circuit. Member Inf. Proc. SOC. Japan, and I.E.E.E","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5054859202","display_name":"Shuzo Yajima","orcid":null},"institutions":[{"id":"https://openalex.org/I22299242","display_name":"Kyoto University","ror":"https://ror.org/02kpeqv85","country_code":"JP","type":"education","lineage":["https://openalex.org/I22299242"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Shuzo Yajima","raw_affiliation_strings":["Faculty of Engineering, Kyoto University, Kyoto, Japan 606","Shuzo Yajima. Graduated 1956 Dept. Electrical Eng., Fac. Eng., Kyoto University. Completed Doctoral program, Grad. School. Doctor of Eng. Affiliated with Fac. Eng. Kyoto University in 1961. Prof. Dept. Inf. Sci., 1971. Completed design and operation of the first computer KDC-1 in Kyoto Univ., 1960. Engaged in researches and education in computers, logical design and automaton. Author of Function and Structure of Computer (Iwanami, 1982) and other books. Former member of Advisory Board, I.E.C.E., Japan, chairman of Prof. Tech. Group on Automaton and Language. Former member of Board, Member of editorial board of the journal, and editorial board for JIP, Inf. Proc. SOC. Japan. Member of Editorial Board IPL, North-Holland Co. I.E.E.E. Senior member"],"affiliations":[{"raw_affiliation_string":"Faculty of Engineering, Kyoto University, Kyoto, Japan 606","institution_ids":["https://openalex.org/I22299242"]},{"raw_affiliation_string":"Shuzo Yajima. Graduated 1956 Dept. Electrical Eng., Fac. Eng., Kyoto University. Completed Doctoral program, Grad. School. Doctor of Eng. Affiliated with Fac. Eng. Kyoto University in 1961. Prof. Dept. Inf. Sci., 1971. Completed design and operation of the first computer KDC-1 in Kyoto Univ., 1960. Engaged in researches and education in computers, logical design and automaton. Author of Function and Structure of Computer (Iwanami, 1982) and other books. Former member of Advisory Board, I.E.C.E., Japan, chairman of Prof. Tech. Group on Automaton and Language. Former member of Board, Member of editorial board of the journal, and editorial board for JIP, Inf. Proc. SOC. Japan. Member of Editorial Board IPL, North-Holland Co. I.E.E.E. Senior member","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5102122413"],"corresponding_institution_ids":["https://openalex.org/I22299242"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.17846048,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"18","issue":"2","first_page":"29","last_page":"42"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9995999932289124,"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.9995999932289124,"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/T11567","display_name":"semigroups and automata theory","score":0.9927999973297119,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9882000088691711,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/concatenation","display_name":"Concatenation (mathematics)","score":0.7178561687469482},{"id":"https://openalex.org/keywords/sequential-logic","display_name":"Sequential logic","score":0.6471288204193115},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.6219392418861389},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6214807629585266},{"id":"https://openalex.org/keywords/expression","display_name":"Expression (computer science)","score":0.6175094842910767},{"id":"https://openalex.org/keywords/input/output","display_name":"Input/output","score":0.5553028583526611},{"id":"https://openalex.org/keywords/regular-expression","display_name":"Regular expression","score":0.5510091781616211},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.5497093200683594},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.5485615730285645},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.5417904853820801},{"id":"https://openalex.org/keywords/closure","display_name":"Closure (psychology)","score":0.5347024202346802},{"id":"https://openalex.org/keywords/electronic-circuit","display_name":"Electronic circuit","score":0.44092339277267456},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.330656498670578},{"id":"https://openalex.org/keywords/logic-gate","display_name":"Logic gate","score":0.31475192308425903},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.29264506697654724},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.27146458625793457},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.14429894089698792}],"concepts":[{"id":"https://openalex.org/C87619178","wikidata":"https://www.wikidata.org/wiki/Q126002","display_name":"Concatenation (mathematics)","level":2,"score":0.7178561687469482},{"id":"https://openalex.org/C187075797","wikidata":"https://www.wikidata.org/wiki/Q173245","display_name":"Sequential logic","level":3,"score":0.6471288204193115},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.6219392418861389},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6214807629585266},{"id":"https://openalex.org/C90559484","wikidata":"https://www.wikidata.org/wiki/Q778379","display_name":"Expression (computer science)","level":2,"score":0.6175094842910767},{"id":"https://openalex.org/C196697905","wikidata":"https://www.wikidata.org/wiki/Q2042052","display_name":"Input/output","level":2,"score":0.5553028583526611},{"id":"https://openalex.org/C121329065","wikidata":"https://www.wikidata.org/wiki/Q185612","display_name":"Regular expression","level":2,"score":0.5510091781616211},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5497093200683594},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.5485615730285645},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.5417904853820801},{"id":"https://openalex.org/C146834321","wikidata":"https://www.wikidata.org/wiki/Q2979672","display_name":"Closure (psychology)","level":2,"score":0.5347024202346802},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.44092339277267456},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.330656498670578},{"id":"https://openalex.org/C131017901","wikidata":"https://www.wikidata.org/wiki/Q170451","display_name":"Logic gate","level":2,"score":0.31475192308425903},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.29264506697654724},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.27146458625793457},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.14429894089698792},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C34447519","wikidata":"https://www.wikidata.org/wiki/Q179522","display_name":"Market economy","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1002/scj.4690180204","is_oa":false,"landing_page_url":"https://doi.org/10.1002/scj.4690180204","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/W625552884","https://openalex.org/W1967575124","https://openalex.org/W1967686058","https://openalex.org/W2022553451","https://openalex.org/W2144922219","https://openalex.org/W3009317406","https://openalex.org/W4237857032"],"related_works":["https://openalex.org/W2373577936","https://openalex.org/W4221148444","https://openalex.org/W4387678054","https://openalex.org/W2389596151","https://openalex.org/W2160667301","https://openalex.org/W3157903927","https://openalex.org/W2204191597","https://openalex.org/W2952363982","https://openalex.org/W4287375352","https://openalex.org/W2045291979"],"abstract_inverted_index":{"Abstract":[0],"The":[1,75,114,133,238],"input":[2,43,64,85,191,219],"constraints":[3,28,86],"and":[4,62,65,91,103,126,186,247],"the":[5,9,18,21,26,31,35,42,46,52,63,68,79,84,88,92,104,111,121,130,143,148,153,159,165,168,173,182,187,190,194,200,203,207,213,218,222,228,232],"input\u2010output":[6,47,89,195,223],"specifications":[7,90],"of":[8,20,25,34,67,81,145,147,155,167,184,189,202,209,215],"logic":[10,22,69,174],"circuit":[11,70,175],"are":[12,71,98,108],"assertions":[13,97],"to":[14,77,94,129,199,243,250],"be":[15,39,235,251],"satisfied":[16],"in":[17,227],"operation":[19],"circuit.":[23],"Most":[24],"timing":[27],"such":[29],"as":[30,41,56,73,110,178],"set\u2010up":[32],"time":[33,53],"clocked":[36],"flip\u2010flop":[37],"can":[38,234],"regarded":[40,177],"constraint":[44,192,220],"or":[45,87,193,221],"specification.":[48],"In":[49,170],"this":[50,171],"paper,":[51,172],"is":[54,117,137,176,197,225,241,248],"considered":[55],"discrete":[57],"with":[58],"sufficiently":[59],"small":[60],"steps,":[61],"output":[66],"treated":[72],"sequences.":[74,210],"method":[76,93,240],"describe":[78],"set":[80,154,183,214],"sequences":[82,156,185,216],"satisfying":[83,217],"verify":[95],"these":[96],"proposed":[99,109,123,239],"anew;":[100],"#":[101,106,115,124,127,135,140,230],"expression":[102,116,160],"first":[105,134,229],"form":[107,136],"description":[112],"methods.":[113],"obtained":[118],"by":[119,158],"adding":[120],"newly":[122],"concatenation":[125],"closure":[128],"regular":[131],"expression.":[132],"a":[138,179],"restricted":[139],"expression,":[141],"where":[142],"number":[144],"states":[146],"deterministic":[149],"finite":[150],"automaton":[151],"accepting":[152],"represented":[157],"does":[161],"not":[162],"exceed":[163],"twice":[164],"length":[166],"description.":[169],"converter":[180],"for":[181],"verification":[188,233],"specification":[196,224],"reduced":[198],"examination":[201],"inclusive":[204],"relation":[205],"among":[206],"sets":[208],"Consequently,":[211],"when":[212],"described":[226],"form,":[231],"performed":[236],"efficiently.":[237],"applied":[242],"several":[244],"actual":[245],"problems,":[246],"shown":[249],"useful.":[252]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}