{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:NHPXEEXOA2GJH36C7WOQMI47OQ","short_pith_number":"pith:NHPXEEXO","canonical_record":{"source":{"id":"1706.05088","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-06-16T10:52:04Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"803af305109bac9b132869b1d29345a028bcfe1dd1c59f02b0afa5f5b5db7163","abstract_canon_sha256":"932176195253c597319689393e7494fa96a3e032c38afe248262206aa0b12708"},"schema_version":"1.0"},"canonical_sha256":"69df7212ee068c93efc2fd9d06239f740a2b6c16e9f913df93c0cea77bafb57e","source":{"kind":"arxiv","id":"1706.05088","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1706.05088","created_at":"2026-05-18T00:42:14Z"},{"alias_kind":"arxiv_version","alias_value":"1706.05088v1","created_at":"2026-05-18T00:42:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1706.05088","created_at":"2026-05-18T00:42:14Z"},{"alias_kind":"pith_short_12","alias_value":"NHPXEEXOA2GJ","created_at":"2026-05-18T12:31:31Z"},{"alias_kind":"pith_short_16","alias_value":"NHPXEEXOA2GJH36C","created_at":"2026-05-18T12:31:31Z"},{"alias_kind":"pith_short_8","alias_value":"NHPXEEXO","created_at":"2026-05-18T12:31:31Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:NHPXEEXOA2GJH36C7WOQMI47OQ","target":"record","payload":{"canonical_record":{"source":{"id":"1706.05088","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-06-16T10:52:04Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"803af305109bac9b132869b1d29345a028bcfe1dd1c59f02b0afa5f5b5db7163","abstract_canon_sha256":"932176195253c597319689393e7494fa96a3e032c38afe248262206aa0b12708"},"schema_version":"1.0"},"canonical_sha256":"69df7212ee068c93efc2fd9d06239f740a2b6c16e9f913df93c0cea77bafb57e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:42:14.774766Z","signature_b64":"7SITiDIwN2vt9nn+fQy3ocbUH4j53oVgQZObwymue6PXyWUCh/ChdkEFb7TvBZdNNS6mR9qzt3xcC4IdEUjHBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"69df7212ee068c93efc2fd9d06239f740a2b6c16e9f913df93c0cea77bafb57e","last_reissued_at":"2026-05-18T00:42:14.774305Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:42:14.774305Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1706.05088","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:42:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Cv2l72NzHWv44PSx5BnJVTEUq+toI4iitIzj/hZI/rcYiT5uPXQqL+bUYV7WAF04uL0zsOQqOvvgbT5UFfsOBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-10T15:05:40.657782Z"},"content_sha256":"17cbd44fa0316153059abb6f6ea7f96bfd08514c4b701a29a27975064afcbca7","schema_version":"1.0","event_id":"sha256:17cbd44fa0316153059abb6f6ea7f96bfd08514c4b701a29a27975064afcbca7"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:NHPXEEXOA2GJH36C7WOQMI47OQ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Verification of Magnitude and Phase Responses in Fixed-Point Digital Filters","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"cs.LO","authors_text":"Daniel P. M. de Mello, Eddie B. L. Filho, Iury V. de Bessa, Laurent Clavier, Lucas C. Cordeiro, Mauro L. de Freitas, Waldir S. S. Junior","submitted_at":"2017-06-16T10:52:04Z","abstract_excerpt":"In the digital signal processing (DSP) area, one of the most important tasks is digital filter design. Currently, this procedure is performed with the aid of computational tools, which generally assume filter coefficients represented with floating-point arithmetic. Nonetheless, during the implementation phase, which is often done in digital signal processors or field programmable gate arrays, the representation of the obtained coefficients can be carried out through integer or fixed-point arithmetic, which often results in unexpected behavior or even unstable filters. The present work addresse"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1706.05088","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:42:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9yb7wN11YFYBR/PSn8v3A6+TYb56AxaCDFQvUfgQXUUikgjRqKGy1tL0xiHqBiaCmlp/ot9s0W+dPIO+ezg1Bw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-10T15:05:40.658529Z"},"content_sha256":"3c638fb17938958c49675e118a434968cf8e9c9eeb325be91c8a9f80d9afb05b","schema_version":"1.0","event_id":"sha256:3c638fb17938958c49675e118a434968cf8e9c9eeb325be91c8a9f80d9afb05b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/NHPXEEXOA2GJH36C7WOQMI47OQ/bundle.json","state_url":"https://pith.science/pith/NHPXEEXOA2GJH36C7WOQMI47OQ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/NHPXEEXOA2GJH36C7WOQMI47OQ/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-10T15:05:40Z","links":{"resolver":"https://pith.science/pith/NHPXEEXOA2GJH36C7WOQMI47OQ","bundle":"https://pith.science/pith/NHPXEEXOA2GJH36C7WOQMI47OQ/bundle.json","state":"https://pith.science/pith/NHPXEEXOA2GJH36C7WOQMI47OQ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/NHPXEEXOA2GJH36C7WOQMI47OQ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:NHPXEEXOA2GJH36C7WOQMI47OQ","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"932176195253c597319689393e7494fa96a3e032c38afe248262206aa0b12708","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-06-16T10:52:04Z","title_canon_sha256":"803af305109bac9b132869b1d29345a028bcfe1dd1c59f02b0afa5f5b5db7163"},"schema_version":"1.0","source":{"id":"1706.05088","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1706.05088","created_at":"2026-05-18T00:42:14Z"},{"alias_kind":"arxiv_version","alias_value":"1706.05088v1","created_at":"2026-05-18T00:42:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1706.05088","created_at":"2026-05-18T00:42:14Z"},{"alias_kind":"pith_short_12","alias_value":"NHPXEEXOA2GJ","created_at":"2026-05-18T12:31:31Z"},{"alias_kind":"pith_short_16","alias_value":"NHPXEEXOA2GJH36C","created_at":"2026-05-18T12:31:31Z"},{"alias_kind":"pith_short_8","alias_value":"NHPXEEXO","created_at":"2026-05-18T12:31:31Z"}],"graph_snapshots":[{"event_id":"sha256:3c638fb17938958c49675e118a434968cf8e9c9eeb325be91c8a9f80d9afb05b","target":"graph","created_at":"2026-05-18T00:42:14Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"In the digital signal processing (DSP) area, one of the most important tasks is digital filter design. Currently, this procedure is performed with the aid of computational tools, which generally assume filter coefficients represented with floating-point arithmetic. Nonetheless, during the implementation phase, which is often done in digital signal processors or field programmable gate arrays, the representation of the obtained coefficients can be carried out through integer or fixed-point arithmetic, which often results in unexpected behavior or even unstable filters. The present work addresse","authors_text":"Daniel P. M. de Mello, Eddie B. L. Filho, Iury V. de Bessa, Laurent Clavier, Lucas C. Cordeiro, Mauro L. de Freitas, Waldir S. S. Junior","cross_cats":["cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-06-16T10:52:04Z","title":"Verification of Magnitude and Phase Responses in Fixed-Point Digital Filters"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1706.05088","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:17cbd44fa0316153059abb6f6ea7f96bfd08514c4b701a29a27975064afcbca7","target":"record","created_at":"2026-05-18T00:42:14Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"932176195253c597319689393e7494fa96a3e032c38afe248262206aa0b12708","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-06-16T10:52:04Z","title_canon_sha256":"803af305109bac9b132869b1d29345a028bcfe1dd1c59f02b0afa5f5b5db7163"},"schema_version":"1.0","source":{"id":"1706.05088","kind":"arxiv","version":1}},"canonical_sha256":"69df7212ee068c93efc2fd9d06239f740a2b6c16e9f913df93c0cea77bafb57e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"69df7212ee068c93efc2fd9d06239f740a2b6c16e9f913df93c0cea77bafb57e","first_computed_at":"2026-05-18T00:42:14.774305Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:42:14.774305Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"7SITiDIwN2vt9nn+fQy3ocbUH4j53oVgQZObwymue6PXyWUCh/ChdkEFb7TvBZdNNS6mR9qzt3xcC4IdEUjHBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:42:14.774766Z","signed_message":"canonical_sha256_bytes"},"source_id":"1706.05088","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:17cbd44fa0316153059abb6f6ea7f96bfd08514c4b701a29a27975064afcbca7","sha256:3c638fb17938958c49675e118a434968cf8e9c9eeb325be91c8a9f80d9afb05b"],"state_sha256":"65a3134a2f92071c09d054ce1d3bc2cf5e9cee0bcc9c07ef62f7d9b32f4883a3"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gZv500gIC/kws3yLlcfK0sHyh0Pm5VDWROAA7utCo/e4T8W+zugbi7TH1bjTSytyhlyOq8hX5Nu0LlRsBux0Ag==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-10T15:05:40.662722Z","bundle_sha256":"5eb5e05902db09489f2607e3449531ebea10aedfef5544e246576c93a66dfed1"}}