Sequential Optimization of Finite-State Machines

《Sequential Optimization of Finite-State Machines 》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、SequentialOptimizationofAsynchronousandSynchronousFinite-StateMachines:AlgorithmsandToolsRobertM.FuhrerSubmittedinpartialfulllmentoftherequirementsforthedegreeofDoctorofPhilosophyintheGraduateSchoolofArtsandSciencesCOLUMBIAUNIVERSITY1999
c1999RobertM

2、.FuhrerAllRightsReservedSequentialOptimizationofAsynchronousandSynchronousFinite-StateMachines:AlgorithmsandToolsApprovedbyDissertationCommittee:Thisthesisisdedicatedto:thegiftofmusicpizzaBeefWellingtonthewinesofBordeauxmiamoreivContentsListofTablesix

3、ListofFiguresxAcknowledgmentsxiiiChapter1Introduction11.1TheCaseforAsynchronousCircuits.....................21.2AsynchronousControllers..........................51.2.1ClassicalAsynchronousFSMModels................61.2.2AsynchronousControllerDesignStyl

4、es...............81.2.3ProgramminginSilicon........................81.2.4StateTransitionGraphs.......................91.2.5AsynchronousStateMachines....................91.2.6Burst-ModeMachines........................111.3SequentialSynthesis...........

5、..................121.3.1ClassicSynthesisTrajectory.....................131.4TowardGlobalSolutionstoOptimalSynthesis...............171.5AsynchronousSequentialSynthesis.....................181.5.1AsynchronousSynthesisPath....................191.5.2Stat

6、eoftheArt............................21i1.6ThesisContributions.............................221.6.1CADAlgorithmsandTools.....................231.6.2CADFramework...........................251.6.3ScopeoftheThesis..........................261.7OutlineofDi

7、ssertation............................27Chapter2Background292.1FiniteStateMachines.............................302.1.1SynchronousFSM's..........................302.1.2Burst-ModeAsynchronousSpecications..............342.2BooleanfunctionsandLogicSynthe

8、sis...................412.2.1BinaryFunctions...........................412.2.2SymbolicFunctions..........................432.2.3Hazard-freeLogicMinimization...................442.3SequentialHazards..............................532.3.1CriticalR