blob: c114ec65eec8c31084018386b20cddefa2a0d88b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
|
# -*- mode: yaml -*-
cff-version: 1.2.0
message: "If you use this software, please cite it as below."
authors:
- family-names: "Herklotz"
given-names: "Yann"
orcid: "https://orcid.org/0000-0002-2329-1029"
- family-names: "Pollard"
given-names: "James D."
orcid: "https://orcid.org/0000-0003-1404-1527"
- family-names: "Ramanathan"
given-names: "Nadesh"
orcid: "https://orcid.org/0000-0001-9083-8349"
- family-names: "Wickerson"
given-names: "John"
orcid: "https://orcid.org/0000-0001-6735-5533"
title: "Vericert"
version: 1.2.2
doi: 10.5281/zenodo.5093839
date-released: 2021-10-01
url: "https://github.com/ymherklotz/vericert"
preferred-citation:
type: article
authors:
- family-names: "Herklotz"
given-names: "Yann"
orcid: "https://orcid.org/0000-0002-2329-1029"
- family-names: "Pollard"
given-names: "James D."
orcid: "https://orcid.org/0000-0003-1404-1527"
- family-names: "Ramanathan"
given-names: "Nadesh"
orcid: "https://orcid.org/0000-0001-9083-8349"
- family-names: "Wickerson"
given-names: "John"
orcid: "https://orcid.org/0000-0001-6735-5533"
doi: "10.1145/3485494"
journal: "Proc. ACM Program. Lang."
month: 11
pages: 30
title: "Formal Verification of High-Level Synthesis"
volume: 5
year: 2021
number: OOPSLA
publisher: Association for Computing Machinery
address: New York, NY, USA
|
