Pub Date : 2021-06-25DOI: 10.1002/9781119782735.ch1
David Dobor
{"title":"Introduction to Finite State Machines","authors":"David Dobor","doi":"10.1002/9781119782735.ch1","DOIUrl":"https://doi.org/10.1002/9781119782735.ch1","url":null,"abstract":"","PeriodicalId":396893,"journal":{"name":"Digital System Design using FSMs","volume":"53 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121205675","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2021-06-25DOI: 10.1002/9781119782735.ch3
{"title":"Introduction to FSM Synthesis","authors":"","doi":"10.1002/9781119782735.ch3","DOIUrl":"https://doi.org/10.1002/9781119782735.ch3","url":null,"abstract":"","PeriodicalId":396893,"journal":{"name":"Digital System Design using FSMs","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132721482","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2021-06-25DOI: 10.1002/9781119782735.app6
{"title":"Appendix A6: The Rotational Detector Using Logisim Simulator with Sub‐Circuits","authors":"","doi":"10.1002/9781119782735.app6","DOIUrl":"https://doi.org/10.1002/9781119782735.app6","url":null,"abstract":"","PeriodicalId":396893,"journal":{"name":"Digital System Design using FSMs","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129647124","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2021-06-25DOI: 10.1002/9781119782735.app1
{"title":"Appendix A1: Boolean Algebra","authors":"","doi":"10.1002/9781119782735.app1","DOIUrl":"https://doi.org/10.1002/9781119782735.app1","url":null,"abstract":"","PeriodicalId":396893,"journal":{"name":"Digital System Design using FSMs","volume":"102 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131566130","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2021-06-25DOI: 10.1002/9781119782735.index
{"title":"Index","authors":"","doi":"10.1002/9781119782735.index","DOIUrl":"https://doi.org/10.1002/9781119782735.index","url":null,"abstract":"","PeriodicalId":396893,"journal":{"name":"Digital System Design using FSMs","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116872861","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2021-06-25DOI: 10.1002/9781119782735.ch6
{"title":"Further Event‐Driven FSM Design","authors":"","doi":"10.1002/9781119782735.ch6","DOIUrl":"https://doi.org/10.1002/9781119782735.ch6","url":null,"abstract":"","PeriodicalId":396893,"journal":{"name":"Digital System Design using FSMs","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114391277","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2021-06-25DOI: 10.1002/9781119782735.ch2
{"title":"Using FSMs to Control External Devices","authors":"","doi":"10.1002/9781119782735.ch2","DOIUrl":"https://doi.org/10.1002/9781119782735.ch2","url":null,"abstract":"","PeriodicalId":396893,"journal":{"name":"Digital System Design using FSMs","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129668552","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2021-06-25DOI: 10.1002/9781119782735.app4
In this book finite state machines (FSMs) have been implemented using the equations obtained from the state diagram/Petri net. This approach ensures that the logic for the state machine is under complete control of the designer. However, if the state machine is implemented using behavioural mode, the Verilog compiler will optimize the design. Remember that the behavioural method describes the behaviour of the designed system. There is a very close relationship between the state diagram and the behavioural Verilog description that allows a direct translation from the state diagram to the Verilog code.
{"title":"Appendix A4: Finite State Machines Using Verilog Behavioural Mode","authors":"","doi":"10.1002/9781119782735.app4","DOIUrl":"https://doi.org/10.1002/9781119782735.app4","url":null,"abstract":"In this book finite state machines (FSMs) have been implemented using the equations obtained from the state diagram/Petri net. This approach ensures that the logic for the state machine is under complete control of the designer. However, if the state machine is implemented using behavioural mode, the Verilog compiler will optimize the design. Remember that the behavioural method describes the behaviour of the designed system. There is a very close relationship between the state diagram and the behavioural Verilog description that allows a direct translation from the state diagram to the Verilog code.","PeriodicalId":396893,"journal":{"name":"Digital System Design using FSMs","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121841884","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}