Functional Test Generation for LSI Circuits Described by Binary Decision Diagrams