A concept of circuit functional level test generation within stuck-at fault model and a method of functional level test generation with Critical Binary Tree(CBT) are described. A novel method about critical input dynamic identification is presented. So we may obtain smaller CBT and accelerate the process of test generation.