1 paper
Yasushi Umezawa, Takeshi Shimizu
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verificatio…