LOVERD--a logic design verification and diagnosis system via test generation
The development of cost-effective circuits is primarily a matter of economy. To achieve it, design errors and circuit flaws must be eliminated during the design process. To this end, considerable effort must be put into all phases of the design cycle. Effective CAD tools are essential for the produc...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | en_US |
| Published: |
The University of Arizona.
1989
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/10150/291686 |