Sign in
Abstraction-Guided Simulation Using Markov Analysis for Functional Verification.
Jian Wang
Huawei Li
Tao Lv
Tiancheng Wang
Xiaowei Li
Sandip Kundu
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2016)
Keyphrases
</>
information systems
high level
computer systems