Abstract
A framework which allows various previously proposed path sensitization criteria to be compared with each other in a unified way is presented. An exact path sensitization criterion and a looser path sensitization criterion based on the framework are also proposed.
| Original language | English (US) |
|---|---|
| Title of host publication | 1991 IEEE International Conference on Computer-Aided Design Digest of Technical Papers |
| Publisher | Publ by IEEE |
| Pages | 208-211 |
| Number of pages | 4 |
| ISBN (Print) | 0818621575 |
| State | Published - Dec 1 1992 |
| Event | 1991 IEEE International Conference on Computer-Aided Design - ICCAD-91 - Santa Clara, CA, USA Duration: Nov 11 1991 → Nov 14 1991 |
Other
| Other | 1991 IEEE International Conference on Computer-Aided Design - ICCAD-91 |
|---|---|
| City | Santa Clara, CA, USA |
| Period | 11/11/91 → 11/14/91 |