<?xml version="1.0" encoding="UTF-8"?>
<mods xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns="http://www.loc.gov/mods/v3" version="3.1" xsi:schemaLocation="http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-1.xsd">
  <titleInfo>
    <title>Sequential logic synthesis</title>
  </titleInfo>
  <name type="personal">
    <namePart>Ashar, Pranav.</namePart>
    <role>
      <roleTerm authority="marcrelator" type="text">creator</roleTerm>
    </role>
  </name>
  <name type="personal">
    <namePart>Devadas, Srinivas.</namePart>
  </name>
  <name type="personal">
    <namePart>Newton, A. Richard</namePart>
    <namePart type="date">1951-2007</namePart>
  </name>
  <typeOfResource/>
  <originInfo>
    <place>
      <placeTerm type="text">Boston</placeTerm>
    </place>
    <publisher>Kluwer Academic Publishers</publisher>
    <dateIssued>c1992</dateIssued>
    <issuance/>
  </originInfo>
  <physicalDescription>
    <extent>xv, 225 p. : ill. ; 24 cm.</extent>
  </physicalDescription>
  <tableOfContents>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).    </tableOfContents>
  <note type="statement of responsibility">Pranav Ashar, Srinivas Devadas, A. Richard Newton.</note>
  <subject authority="lcsh">
    <topic>Integrated circuits</topic>
    <topic>Very large scale integration</topic>
    <topic>Computer-aided design</topic>
  </subject>
  <subject authority="lcsh">
    <topic>Logic circuits</topic>
    <topic>Computer-aided design</topic>
  </subject>
  <subject authority="lcsh">
    <topic>Logic design</topic>
    <topic>Data processing</topic>
  </subject>
  <classification authority="ddc">621.395,ASH</classification>
  <relatedItem type="series">
    <titleInfo>
      <title>The Kluwer International series in engineering and computer science</title>
    </titleInfo>
  </relatedItem>
  <identifier type="isbn">079239187X (alk. paper)</identifier>
  <identifier type="lccn">91037874</identifier>
  <recordInfo>
    <recordContentSource authority="marcorg"/>
    <recordChangeDate encoding="iso8601">20221227132418.0</recordChangeDate>
  </recordInfo>
</mods>
