Equivalence checking of Scheduling in High-Level Synthesis Using Deep State Sequences

by Jian Hu, Guanwu Wang, Guilin Chen, XiangLin Wei.

Published in IEEE Access by Institute of Electrical and Electronics Engineers (IEEE).

2019 p1-1

application/pdf 4.1 MB
file_m7kwygaq5rf5bavhbchr3ws36y ieeexplore.ieee.org (web)
web.archive.org (webarchive)

Preserved and Accessible

Type article-journal
Stage

published

Year 2019

DOI 10.1109/access.2019.2960511

Container Metadata
Open Access Publication
In DOAJ
In Keepers Registry
ISSN-L: 2169-3536

Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)

Cite This

BibTeX
CSL-JSON
MLA
Harvard

Lookup Links

oaDOI/unpaywall (OA fulltext)
Crossref Metadata (via API)
Worldcat
SHERPA/RoMEO (journal policies)
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar

Catalog Record
Revision: def07bff-956f-4737-b79d-6d8049c8ae02
API URL: JSON

Equivalence checking of Scheduling in High-Level Synthesis Using Deep State Sequences release_me3vq7coqvd3hf67hcci5lofqe