数字系统设计调试的代数模型分解

2016 IEEE East-West Design & Test Symposium (EWDTS) Pub Date : 2016-10-01 DOI:10.1109/EWDTS.2016.7807712

A. Ivannikov, V. Kulagin, A. Romanov, B. Pozdneev

{"title":"数字系统设计调试的代数模型分解","authors":"A. Ivannikov, V. Kulagin, A. Romanov, B. Pozdneev","doi":"10.1109/EWDTS.2016.7807712","DOIUrl":null,"url":null,"abstract":"Due to the complexity and large dimensions of the task of digital system design debugging decomposition by method of modeling as a whole, algebraic models of decomposition methods are proposed, namely, methods of vertical and horizontal structure decomposition, functional decomposition, decomposition based on error types. An algebraic model of the digital systems software is presented. The software is considered as a semi group of operators.","PeriodicalId":364686,"journal":{"name":"2016 IEEE East-West Design & Test Symposium (EWDTS)","volume":"40 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2016-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"14","resultStr":"{\"title\":\"Algebraic models of digital system design debugging decomposition\",\"authors\":\"A. Ivannikov, V. Kulagin, A. Romanov, B. Pozdneev\",\"doi\":\"10.1109/EWDTS.2016.7807712\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Due to the complexity and large dimensions of the task of digital system design debugging decomposition by method of modeling as a whole, algebraic models of decomposition methods are proposed, namely, methods of vertical and horizontal structure decomposition, functional decomposition, decomposition based on error types. An algebraic model of the digital systems software is presented. The software is considered as a semi group of operators.\",\"PeriodicalId\":364686,\"journal\":{\"name\":\"2016 IEEE East-West Design & Test Symposium (EWDTS)\",\"volume\":\"40 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2016-10-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"14\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2016 IEEE East-West Design & Test Symposium (EWDTS)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/EWDTS.2016.7807712\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2016 IEEE East-West Design & Test Symposium (EWDTS)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/EWDTS.2016.7807712","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 14

摘要

针对数字系统设计调试分解任务的复杂性和规模大的特点，提出了分解方法的代数模型，即纵向和横向结构分解法、功能分解法、基于误差类型分解法。提出了数字系统软件的代数模型。软件被看作是一群半操作者。

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

查看原文本刊更多论文

Algebraic models of digital system design debugging decomposition

Due to the complexity and large dimensions of the task of digital system design debugging decomposition by method of modeling as a whole, algebraic models of decomposition methods are proposed, namely, methods of vertical and horizontal structure decomposition, functional decomposition, decomposition based on error types. An algebraic model of the digital systems software is presented. The software is considered as a semi group of operators.

求助全文

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

来源期刊

2016 IEEE East-West Design & Test Symposium (EWDTS)

自引率

0.00%

发文量