{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T15:50:05Z","timestamp":1761580205825},"reference-count":36,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[1987,7,1]],"date-time":"1987-07-01T00:00:00Z","timestamp":552096000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst."],"published-print":{"date-parts":[[1987,7]]},"DOI":"10.1109\/tcad.1987.1270309","type":"journal-article","created":{"date-parts":[[2004,4,29]],"date-time":"2004-04-29T00:28:59Z","timestamp":1083198539000},"page":"618-633","source":"Crossref","is-referenced-by-count":53,"title":["Algorithmic Aspects of Symbolic Switch Network Analysis"],"prefix":"10.1109","volume":"6","author":[{"given":"R.E.","family":"Bryant","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/321250.321253"},{"key":"ref32","author":"aho","year":"1977","journal-title":"Principles of Compiler Design"},{"key":"ref31","volume":"ii","author":"aho","year":"1972","journal-title":"The Theory of Parsing Translation and Compiling"},{"key":"ref30","first-page":"1","article-title":"Design of the MOSAIC element","author":"lutz","year":"1984","journal-title":"Proc Conf on Advanced Research in VLSI"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/22145.22161"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-95424-5"},{"key":"ref10","first-page":"246","article-title":"Symbolic logic simulation of MOS circuits","author":"hajj","year":"1983","journal-title":"Proc Int Symp Circuits Syst"},{"key":"ref11","author":"terman","year":"1983","journal-title":"Simulation tools for digital LSI design"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"685","DOI":"10.1109\/TCAD.1985.1270168","article-title":"Simulation of MOS circuits by decision diagrams","volume":"cad 4","author":"cerny","year":"1985","journal-title":"IEEE Trans Computer-Aided Design"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1093\/imamat\/7.3.273"},{"key":"ref14","author":"aho","year":"1974","journal-title":"The Design and Analysis of Computer Algorithms"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(77)90056-1"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/322261.322272"},{"key":"ref17","author":"harrison","year":"1965","journal-title":"Introduction to Switching and Automata Theory"},{"key":"ref18","author":"garey","year":"1979","journal-title":"Computers and Intractability"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.1986.1270208"},{"key":"ref28","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-2285-6","author":"annaratone","year":"1986","journal-title":"Digital CMOS Circuit Design"},{"key":"ref4","article-title":"A mathematical model of digital CMOS networks","author":"yoeli","year":"1985","journal-title":"Canadian Conf on VLSI"},{"key":"ref27","author":"weste","year":"1985","journal-title":"Principles of CMOS VLSI Design"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/800263.809277"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/PROC.1982.12446"},{"key":"ref29","first-page":"30","article-title":"A 32b microprocessor with on-chip 2K byte instruction cache","author":"horowitz","year":"1987","journal-title":"Proc IEEE Int Solid-State Circuits Conf"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1984.1676408"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1002\/j.1538-7305.1955.tb03767.x"},{"key":"ref7","first-page":"634","author":"bryant","year":"0","journal-title":"Boolean analysis of MOS circuits"},{"key":"ref2","author":"brzozowski","year":"1976","journal-title":"Digital Networks"},{"key":"ref9","first-page":"752","article-title":"Logic equations for MOSFET circuits","author":"ditlow","year":"1983","journal-title":"Int Symp Circuits Syst"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/T-AIEE.1938.5057767"},{"key":"ref20","first-page":"594","article-title":"Fast algorithms for solving path problems","volume":"23","author":"tatjan","year":"1981","journal-title":"J Ass Comput Mach"},{"key":"ref22","author":"nagel","year":"1975","journal-title":"SPICE2 A computer program to simulate semiconductor circuits"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TPAS.1970.292682"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/0022-247X(65)90125-3"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1137\/0716027"},{"key":"ref26","author":"glasser","year":"1985","journal-title":"The Design and Analysis of VLSI Circuits"},{"key":"ref25","author":"mead","year":"1980","journal-title":"Introduction to VLSI Systems"}],"container-title":["IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/43\/28442\/01270309.pdf?arnumber=1270309","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,29]],"date-time":"2021-11-29T20:39:46Z","timestamp":1638218386000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1270309\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987,7]]},"references-count":36,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1987,7]]}},"URL":"https:\/\/doi.org\/10.1109\/tcad.1987.1270309","relation":{},"ISSN":["0278-0070"],"issn-type":[{"value":"0278-0070","type":"print"}],"subject":[],"published":{"date-parts":[[1987,7]]}}}