Maryna Miroshnyk, Olexander Shkil, E. Kulak, D. Rakhlis, Yurii Pahomov, A. Miroshnyk
{"title":"有限状态机验证的同步序列","authors":"Maryna Miroshnyk, Olexander Shkil, E. Kulak, D. Rakhlis, Yurii Pahomov, A. Miroshnyk","doi":"10.1109/UkrMiCo47782.2019.9165509","DOIUrl":null,"url":null,"abstract":"The method of detection and localization of design errors in HDL-models of finite state machines with arbitrary output functions was proposed. The diagnostic experiment is carried out bypassing all arcs of the Mealy machine, starting from the initial vertex, including for machines of the \"non-exclusive\" class. To ensure the return of the machine with a possible design error in the initial state, it is suggested to use synchronizing sequences. Diagnostic experiments were performed in the Active-HDL design environment.","PeriodicalId":6754,"journal":{"name":"2019 International Conference on Information and Telecommunication Technologies and Radio Electronics (UkrMiCo)","volume":"4 1","pages":"1-5"},"PeriodicalIF":0.0000,"publicationDate":"2019-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Synchronizing Sequences For Verification Of Finite State Machines\",\"authors\":\"Maryna Miroshnyk, Olexander Shkil, E. Kulak, D. Rakhlis, Yurii Pahomov, A. Miroshnyk\",\"doi\":\"10.1109/UkrMiCo47782.2019.9165509\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The method of detection and localization of design errors in HDL-models of finite state machines with arbitrary output functions was proposed. The diagnostic experiment is carried out bypassing all arcs of the Mealy machine, starting from the initial vertex, including for machines of the \\\"non-exclusive\\\" class. To ensure the return of the machine with a possible design error in the initial state, it is suggested to use synchronizing sequences. Diagnostic experiments were performed in the Active-HDL design environment.\",\"PeriodicalId\":6754,\"journal\":{\"name\":\"2019 International Conference on Information and Telecommunication Technologies and Radio Electronics (UkrMiCo)\",\"volume\":\"4 1\",\"pages\":\"1-5\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2019-09-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2019 International Conference on Information and Telecommunication Technologies and Radio Electronics (UkrMiCo)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/UkrMiCo47782.2019.9165509\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2019 International Conference on Information and Telecommunication Technologies and Radio Electronics (UkrMiCo)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/UkrMiCo47782.2019.9165509","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Synchronizing Sequences For Verification Of Finite State Machines
The method of detection and localization of design errors in HDL-models of finite state machines with arbitrary output functions was proposed. The diagnostic experiment is carried out bypassing all arcs of the Mealy machine, starting from the initial vertex, including for machines of the "non-exclusive" class. To ensure the return of the machine with a possible design error in the initial state, it is suggested to use synchronizing sequences. Diagnostic experiments were performed in the Active-HDL design environment.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
