Comments on "The Identification of Maximal Parallelism in Straight-Line Microprograms"

Using a counterexample, it is shown that an algorithm developed by Dasgupta and Tartar
¹
for identifying parallel microoperations does not guarantee optimal output as orginally claimed by the authors.