From 4a02e02194f5d8f3aa83f69757b801a66939b839 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Wed, 15 Sep 2021 16:14:48 +0100 Subject: Add CITATION.cff --- CITATION.cff | 46 ++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 46 insertions(+) create mode 100644 CITATION.cff (limited to 'CITATION.cff') diff --git a/CITATION.cff b/CITATION.cff new file mode 100644 index 0000000..34911af --- /dev/null +++ b/CITATION.cff @@ -0,0 +1,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.1 +doi: 10.5281/zenodo.5093839 +date-released: 2021-07-12 +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.0000/00000" + journal: "Proc. ACM Program. Lang." + month: 11 + numpages: 30 + title: "Formal Verification of High-Level Synthesis" + volume: 5 + year: 2021 + number: OOPSLA + publisher: Association for Computing Machinery + address: New York, NY, USA -- cgit From 4def81ab50d8239320e7c8c71c80844050fb1111 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Wed, 15 Sep 2021 16:16:55 +0100 Subject: Add DOI to article --- CITATION.cff | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'CITATION.cff') diff --git a/CITATION.cff b/CITATION.cff index 34911af..06d3364 100644 --- a/CITATION.cff +++ b/CITATION.cff @@ -34,7 +34,7 @@ preferred-citation: - family-names: "Wickerson" given-names: "John" orcid: "https://orcid.org/0000-0001-6735-5533" - doi: "10.0000/00000" + doi: "10.1145/3485494" journal: "Proc. ACM Program. Lang." month: 11 numpages: 30 -- cgit From 5e4c1c52cf8ab7fe6b8de4f06e8d4b5b518eed82 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Wed, 15 Sep 2021 16:31:01 +0100 Subject: Add number of pages correctly --- CITATION.cff | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'CITATION.cff') diff --git a/CITATION.cff b/CITATION.cff index 06d3364..9328474 100644 --- a/CITATION.cff +++ b/CITATION.cff @@ -37,7 +37,7 @@ preferred-citation: doi: "10.1145/3485494" journal: "Proc. ACM Program. Lang." month: 11 - numpages: 30 + pages: 30 title: "Formal Verification of High-Level Synthesis" volume: 5 year: 2021 -- cgit