J. Bastian, A. Savargaonkar, S. Venkateswaren, K. Rao, T. Nagesh, K.S. Raghunthan
{"title":"State machine design-an interactive approach","authors":"J. Bastian, A. Savargaonkar, S. Venkateswaren, K. Rao, T. Nagesh, K.S. Raghunthan","doi":"10.1109/ISVD.1991.185090","DOIUrl":null,"url":null,"abstract":"Finite state machines are essential components in digital systems. This paper describes a tool for designing a finite state machine from its behavioral description. Useful user interfaces for describing a state machine and for verification of its behavior are the important contributions made in this paper.<<ETX>>","PeriodicalId":183602,"journal":{"name":"[1991] Proceedings. Fourth CSI/IEEE International Symposium on VLSI Design","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1991-01-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"[1991] Proceedings. Fourth CSI/IEEE International Symposium on VLSI Design","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ISVD.1991.185090","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 1
Abstract
Finite state machines are essential components in digital systems. This paper describes a tool for designing a finite state machine from its behavioral description. Useful user interfaces for describing a state machine and for verification of its behavior are the important contributions made in this paper.<>