Design Verification of Advanced Pipelined Machines

this paper, we call it the symbolic execution method. The symbolic execution method is highly automated and much faster than ordinary simulations, because it manipulates the datapath symbolically, and verifies only the control logic of the pipeline. However, the cost of verification increases dramatically as the control logic becomes complex and the number of cases to be examined explodes. It is possible to use heuristics to improve the speed of the verification[9], but it still does not solve the case explosion problem. 3 Method of Pipeline Verification and its Example