"A survey of techniques for formal verification of combinational circuits" - читать интересную книгу автора (Jain J., Narayan A., Fujita M.)