資源描述:
《Sequential Optimization of Finite-State Machines 》由會(huì)員上傳分享,免費(fèi)在線閱讀,更多相關(guān)內(nèi)容在學(xué)術(shù)論文-天天文庫。
1、SequentialOptimizationofAsynchronousandSynchronousFinite-StateMachines:AlgorithmsandToolsRobertM.FuhrerSubmittedinpartialfulllmentoftherequirementsforthedegreeofDoctorofPhilosophyintheGraduateSchoolofArtsandSciencesCOLUMBIAUNIVERSITY1999c1999RobertM
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