Login / Signup

Exact Minimum Cycle Times for Finite State Machines.

William K. C. LamRobert K. BraytonAlberto L. Sangiovanni-Vincentelli
Published in: DAC (1994)
Keyphrases
  • finite state machines
  • model checking
  • finite state automata
  • regular expressions
  • data sets
  • orders of magnitude
  • digital circuits
  • database
  • data warehouse
  • minimum cost
  • brute force
  • square error