Title :
Tools for reliable software design of VLSI
Author_Institution :
Moscow Aviation Inst., USSR
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
Keywords :
VLSI; circuit CAD; program testing; software reliability; VLSI; automation tools; optimum program redundancy; program reliability; program testing; reliable software design; Automated highways; Automatic testing; Buildings; Costs; Design automation; Redundancy; Software design; Software reliability; Software tools; Very large scale integration;
Conference_Titel :
VLSI Design, 1991. Proceedings., Fourth CSI/IEEE International Symposium on
Conference_Location :
New Delhi
Print_ISBN :
0-8186-2125-7
DOI :
10.1109/ISVD.1991.185145
