{"title":"VLSI可靠软件设计工具","authors":"T.A. Silayeva","doi":"10.1109/ISVD.1991.185145","DOIUrl":null,"url":null,"abstract":"The automation tools for reliable software design of VLSI are proposed. They consist of tools for program testing based on building the minimum coverage of the analyzed program's graph, and tools for providing the required reliability of a program during its execution based on optimum program redundancy.<<ETX>>","PeriodicalId":183602,"journal":{"name":"[1991] Proceedings. Fourth CSI/IEEE International Symposium on VLSI Design","volume":"55 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1991-01-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Tools for reliable software design of VLSI\",\"authors\":\"T.A. Silayeva\",\"doi\":\"10.1109/ISVD.1991.185145\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The automation tools for reliable software design of VLSI are proposed. They consist of tools for program testing based on building the minimum coverage of the analyzed program's graph, and tools for providing the required reliability of a program during its execution based on optimum program redundancy.<<ETX>>\",\"PeriodicalId\":183602,\"journal\":{\"name\":\"[1991] Proceedings. Fourth CSI/IEEE International Symposium on VLSI Design\",\"volume\":\"55 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1991-01-04\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"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.185145\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","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.185145","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
The automation tools for reliable software design of VLSI are proposed. They consist of tools for program testing based on building the minimum coverage of the analyzed program's graph, and tools for providing the required reliability of a program during its execution based on optimum program redundancy.<>