An industrially effective environment for formal hardware verification.
Carl-Johan H. SegerRobert B. JonesJohn W. O'LearyThomas F. MelhamMark D. AagaardClark W. BarrettDon SymePublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2005)
Keyphrases