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.

PAFSV: A Formal Framework for Specification and Analysis of SystemVerilog

Ka Lok Man, Chi-Un Lei, Hemangee K. Kapoor, Tomas Krilavicius, Jieming Ma, Nan Zhang. PAFSV: A Formal Framework for Specification and Analysis of SystemVerilog. Computers and Artificial Intelligence, 35(1):143-176, 2016. [doi]

Authors

Ka Lok Man

This author has not been identified. Look up 'Ka Lok Man' in Google

Chi-Un Lei

This author has not been identified. Look up 'Chi-Un Lei' in Google

Hemangee K. Kapoor

This author has not been identified. Look up 'Hemangee K. Kapoor' in Google

Tomas Krilavicius

This author has not been identified. Look up 'Tomas Krilavicius' in Google

Jieming Ma

This author has not been identified. Look up 'Jieming Ma' in Google

Nan Zhang

This author has not been identified. Look up 'Nan Zhang' in Google
runs on