有限状态机验证的同步序列

2019 International Conference on Information and Telecommunication Technologies and Radio Electronics (UkrMiCo) Pub Date : 2019-09-01 DOI:10.1109/UkrMiCo47782.2019.9165509

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}

引用次数: 0

摘要

提出了具有任意输出函数的有限状态机hdl模型的设计误差检测与定位方法。诊断实验绕过Mealy机器的所有弧线，从初始顶点开始，包括“非排他”类机器。为了保证在初始状态下可能出现设计错误的机器返回，建议使用同步序列。诊断实验在Active-HDL设计环境下进行。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

2019 International Conference on Information and Telecommunication Technologies and Radio Electronics (UkrMiCo)

自引率

0.00%

发文量