TY - GEN AU - Ashar,Pranav AU - Devadas,Srinivas AU - Newton,A.Richard TI - Sequential logic synthesis SN - 079239187X (alk. paper) U1 - 621.395,ASH PY - 1992/// CY - Boston PB - Kluwer Academic Publishers KW - Integrated circuits KW - Very large scale integration KW - Computer-aided design KW - Logic circuits KW - Logic design KW - Data processing N1 - Introduction (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). ER -