An efficient test generation algorithm for behavioral descriptions of digital devices
| dc.contributor.author | Jani, Dhanendra Dinesh | en |
| dc.contributor.department | Electrical Engineering | en |
| dc.date.accessioned | 2015-06-26T20:54:04Z | en |
| dc.date.available | 2015-06-26T20:54:04Z | en |
| dc.date.issued | 1988 | en |
| dc.description.abstract | An efficient test generation algorithm for behavioral descriptions is discussed. It generates tests for behavioral dataflow descriptions of digital circuits written in VHDL. The algorithm accepts input descriptions containing multiple process statements and concurrent signal assignment statements. The fault model based on previous research includes micro-operation and control faults. The test generation algorithm uses artificial intelligence techniques of goal trees and rule databases and it can make use of human understanding of the device model to generate more efficient tests. An improved timing model helps detect conflicts more quickly and improves the speed performance of the algorithm. The test generation algorithm has been used to generate tests for complex circuits. Results of fault coverage experiments for some of these circuits is presented. | en |
| dc.description.degree | Master of Science | en |
| dc.format.extent | viii, 104 leaves | en |
| dc.format.mimetype | application/pdf | en |
| dc.identifier.uri | http://hdl.handle.net/10919/53723 | en |
| dc.language.iso | en_US | en |
| dc.publisher | Virginia Polytechnic Institute and State University | en |
| dc.relation.isformatof | OCLC# 19611399 | en |
| dc.rights | In Copyright | en |
| dc.rights.uri | http://rightsstatements.org/vocab/InC/1.0/ | en |
| dc.subject.lcc | LD5655.V855 1988.J353 | en |
| dc.subject.lcsh | Integrated circuits -- Large scale integration | en |
| dc.title | An efficient test generation algorithm for behavioral descriptions of digital devices | en |
| dc.type | Thesis | en |
| dc.type.dcmitype | Text | en |
| thesis.degree.discipline | Electrical Engineering | en |
| thesis.degree.grantor | Virginia Polytechnic Institute and State University | en |
| thesis.degree.level | masters | en |
| thesis.degree.name | Master of Science | en |
Files
Original bundle
1 - 1 of 1