Login / Signup

Delay-time modelling and critical-path verification for digital designs.

K. H. KimS. B. Park
Published in: Comput. Aided Des. (1991)
Keyphrases
  • critical path
  • job shop scheduling problem
  • model checking
  • signature verification
  • neural network
  • genetic algorithm
  • search algorithm
  • scheduling problem
  • graphical models