Learn More
Specajication of large complexity controllers in industrial design environments is performed b y means of a top-down methodology leading t o a description based on a hierarchy of FSMs. Th i s paper presents a set of algorithms which compare such hierarchical descriptions with their structural implementations t o produce irredundant circuits for which test(More)
  • 1