01136    a2200229   4500003000500000005001700005010001600022020002800038040000900066082001600075100001900091245008500110260005000195300003300245440007200278505034200350650007800692650004300770650003500813700002300848700003500871Nust20221227132418.0  a   91037874  a079239187X (alk. paper)  cNust00a621.395,ASH1 aAshar, Pranav.10aSequential logic synthesis /cPranav Ashar, Srinivas Devadas, A. Richard Newton.  aBoston :bKluwer Academic Publishers,cc1992.  axv, 225 p. :bill. ;c24 cm. 4aThe Kluwer International series in engineering and computer science  aIntroduction (Page-3), Basic Definitions and Concepts (Page-17), Encoding of Symbolic Inputs (Page-25), Encoding of Symbolic Outputs (Page-57), State Encoding (Page-87), Finite State Machine Decomposition (Page-117), Sequential Don’t Cares (Page-169), Conclusions and Directions for Future Work (Page-203), Bibliography (Page-209).     0aIntegrated circuitsxVery large scale integrationxComputer-aided design. 0aLogic circuitsxComputer-aided design. 0aLogic designxData processing.1 aDevadas, Srinivas.1 aNewton, A. Richardd1951-2007.