Paper Citation Record · LEDGER

CREST: Hardware Formal Verification with ANSI-C Reference Specifications

As of 19 August 2026, this Paper Citation Record lists 11 of 11 outbound references and 0 inbound Pith citation observations for arXiv:1908.01324.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
1908.01324 v1

Coverage vector

measured 11 of 11 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-14T15:19:20.841667Z

measured 11 of 11 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-18T06:34:40.430872+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

11 of 11 outbound references displayed

verified exact0
verified fuzzy5
unresolved6
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 5143455f-6c17-4437-9f47-d0d92c934b33 · outbound

This paper cites an unresolved cited work.

CREST: Hardware Formal Verification with ANSI-C Reference Specifications Unresolved cited work

Reference 1

Resolution: unresolved; raw_fallback, observed 2026-08-14T15:19:21.034027Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 701e9e61-073c-4110-a78a-0e541efffcfb · outbound

This paper cites an unresolved cited work.

CREST: Hardware Formal Verification with ANSI-C Reference Specifications Unresolved cited work

Reference 2

Resolution: unresolved; raw_fallback, observed 2026-08-14T15:19:21.017782Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 1fc112b9-f77c-45cc-b46d-01974d9f59bc · outbound

This paper cites Mukherjee, S.

CREST: Hardware Formal Verification with ANSI-C Reference Specifications Mukherjee, S

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:19:21.002028Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 38bb7c46-6f7d-42d8-b8b0-15d4ce11c7ef · outbound

This paper cites Clarke, D.

CREST: Hardware Formal Verification with ANSI-C Reference Specifications Clarke, D

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:19:20.986094Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation fd47a2fc-5aad-4e26-8279-5ebf0feedbdb · outbound

This paper cites an unresolved cited work.

CREST: Hardware Formal Verification with ANSI-C Reference Specifications Unresolved cited work

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-14T15:19:20.811419Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 66130601-2fae-4731-915f-aea85bf8c8b0 · outbound

This paper cites Hauser, ``Berkeley SoftFloat ,'' (Accessed 22 Jan.

CREST: Hardware Formal Verification with ANSI-C Reference Specifications Hauser, ``Berkeley SoftFloat ,'' (Accessed 22 Jan

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:19:20.969414Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation ca343d98-480d-4ce9-b80f-843426a45318 · outbound

This paper cites an unresolved cited work.

CREST: Hardware Formal Verification with ANSI-C Reference Specifications Unresolved cited work

Reference 7

Resolution: unresolved; raw_fallback, observed 2026-08-14T15:19:20.952418Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation da107a23-81f7-4110-9fa2-4331bf87591c · outbound

This paper cites O'Leary, R.

CREST: Hardware Formal Verification with ANSI-C Reference Specifications O'Leary, R

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:19:20.936631Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 291a5ff9-ba08-4194-98a2-b6094d3362fb · outbound

This paper cites an unresolved cited work.

CREST: Hardware Formal Verification with ANSI-C Reference Specifications Unresolved cited work

Reference 9

Resolution: unresolved; raw_fallback, observed 2026-08-14T15:19:20.921249Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation f70b7271-f0a6-47c5-a5e1-f04046f8c30c · outbound

This paper cites an unresolved cited work.

CREST: Hardware Formal Verification with ANSI-C Reference Specifications Unresolved cited work

Reference 10

Resolution: unresolved; raw_fallback, observed 2026-08-14T15:19:20.905599Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 045cc979-d964-4225-98ae-b58847c7e30f · outbound

This paper cites Dawson, ``Sequential floating point adder,'' (Accessed 22 Jan.

CREST: Hardware Formal Verification with ANSI-C Reference Specifications Dawson, ``Sequential floating point adder,'' (Accessed 22 Jan

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:19:20.890093Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Pith citing papers

No inbound Pith citation observations are available.