Login / Signup

Irredundant sequential machines via optimal logic synthesis.

Srinivas DevadasHi-Keung Tony MaA. Richard NewtonAlberto L. Sangiovanni-Vincentelli
Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (1990)
Keyphrases
  • logic synthesis
  • dynamic programming
  • optimal solution
  • heuristic search
  • logic circuits
  • real time
  • knowledge base