Abstract
Test generation for sequential machines is known to be computationally expensive. We present a scheme, called MACHETE (MACHines for Easy TEstability), for synthesizing easily testable architectures for sequential machines by adding some state transitions and their associated output vectors to the state transition table. This is done to make the internal states of the machine easily controllable as well as observable. This can enable us to obtain a high fault coverage in reasonable amounts of CPU time.
| Original language | American English |
|---|---|
| Title of host publication | Proc Eur Conf Des Autom |
| Publisher | Publ by IEEE |
| Pages | 289-293 |
| Number of pages | 5 |
| ISBN (Print) | 0818626453 |
| State | Published - Dec 1 1992 |
| Event | Proceedings the European Conference on Design Automation - Amsterdam, Neth Duration: Mar 16 1992 → Mar 19 1992 |
Other
| Other | Proceedings the European Conference on Design Automation |
|---|---|
| City | Amsterdam, Neth |
| Period | 3/16/92 → 3/19/92 |
ASJC Scopus subject areas
- General Engineering