External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Abstraction-Guided Simulation Using Markov Analysis for Functional Verification

Jian Wang, Huawei Li, Tao Lv, Tiancheng Wang, Xiaowei Li 0001, Sandip Kundu. Abstraction-Guided Simulation Using Markov Analysis for Functional Verification. IEEE Trans. on CAD of Integrated Circuits and Systems, 35(2):285-297, 2016. [doi]

Authors

Jian Wang

This author has not been identified. Look up 'Jian Wang' in Google

Huawei Li

This author has not been identified. Look up 'Huawei Li' in Google

Tao Lv

This author has not been identified. Look up 'Tao Lv' in Google

Tiancheng Wang

This author has not been identified. Look up 'Tiancheng Wang' in Google

Xiaowei Li 0001

This author has not been identified. Look up 'Xiaowei Li 0001' in Google

Sandip Kundu

This author has not been identified. Look up 'Sandip Kundu' in Google
runs on