The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
PyH2: Using PyMTL3 to Create Productive and Open-Source Hardware Testing Methodologies
The work
| Authors | Shunning Jiang; Yanghui Ou; Peitian Pan; Kaishuo Cheng; Yixiao Zhang; Christopher Batten |
|---|---|
| Editors | |
| Type | article |
| Year | 2020 |
| Citekey | jiang2020pyh2 |
Where it appeared
| Published in | IEEE Design and Test |
|---|---|
| Publisher | Institute of Electrical and Electronics Engineers |
| Volume | 38 |
| Issue | 2 |
| Pages | 53--61 |
Identifiers
| DOI | 10.1109/mdat.2020.3024144 |
|---|---|
| OpenAlex | W3086820292 |
Access
| Landing page | https://doi.org/10.1109/mdat.2020.3024144 |
|---|
From OpenAlex, which stores abstracts as an index of words and their positions: what is shown is rebuilt from that, and reads fluently whether or not it is what the author wrote.
Abstract
Editor's note: This article proposes a new model testing and verification methodology, PyH2, using property-based random testing in Python. PyH2 leverages the whole Python ecosystem to build test benches and models. - Sherief Reda, Brown University - Leon Stock, IBM - Pierre-Emmanuel Gaillardon, University of Utah
How it got here
| How it got here | agent via openalex |
|---|---|
| Added | 2026-10-24 23:23 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Cite it as
@article{jiang2020pyh2,
title = {PyH2: Using PyMTL3 to Create Productive and Open-Source Hardware Testing Methodologies},
author = {Shunning Jiang and Yanghui Ou and Peitian Pan and Kaishuo Cheng and Yixiao Zhang and Christopher Batten},
year = {2020},
journal = {IEEE Design and Test},
publisher = {Institute of Electrical and Electronics Engineers},
volume = {38},
number = {2},
pages = {53--61},
doi = {10.1109/mdat.2020.3024144},
}
This record lives at https://refs.drheap.org/jiang2020pyh2/ and will keep doing so.