MACHETE: Synthesis of sequential machines for easy testability

Bapiraju Vinnakota, Niraj Kumar Jha

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Scopus citations


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 languageEnglish (US)
Title of host publicationProc Eur Conf Des Autom
PublisherPubl by IEEE
Number of pages5
ISBN (Print)0818626453
StatePublished - Dec 1 1992
EventProceedings the European Conference on Design Automation - Amsterdam, Neth
Duration: Mar 16 1992Mar 19 1992


OtherProceedings the European Conference on Design Automation
CityAmsterdam, Neth

All Science Journal Classification (ASJC) codes

  • General Engineering


Dive into the research topics of 'MACHETE: Synthesis of sequential machines for easy testability'. Together they form a unique fingerprint.

Cite this