{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:XNDEXDOAJBCBMI6SECWWEMIKFJ","short_pith_number":"pith:XNDEXDOA","canonical_record":{"source":{"id":"1803.02975","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-03-08T05:50:09Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"017ae9ec2ef6da929ba6e184f62a8eb5e9ca25019b790cc73fb6334a202c99d6","abstract_canon_sha256":"0cc4ec98ad0b347712106b505a4d411704239618f91551f92ee81e1bd6010cd2"},"schema_version":"1.0"},"canonical_sha256":"bb464b8dc048441623d220ad62310a2a5bbd43d4ebe6cba1a9a99f7991c33b7e","source":{"kind":"arxiv","id":"1803.02975","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1803.02975","created_at":"2026-05-18T00:21:44Z"},{"alias_kind":"arxiv_version","alias_value":"1803.02975v1","created_at":"2026-05-18T00:21:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1803.02975","created_at":"2026-05-18T00:21:44Z"},{"alias_kind":"pith_short_12","alias_value":"XNDEXDOAJBCB","created_at":"2026-05-18T12:33:01Z"},{"alias_kind":"pith_short_16","alias_value":"XNDEXDOAJBCBMI6S","created_at":"2026-05-18T12:33:01Z"},{"alias_kind":"pith_short_8","alias_value":"XNDEXDOA","created_at":"2026-05-18T12:33:01Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:XNDEXDOAJBCBMI6SECWWEMIKFJ","target":"record","payload":{"canonical_record":{"source":{"id":"1803.02975","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-03-08T05:50:09Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"017ae9ec2ef6da929ba6e184f62a8eb5e9ca25019b790cc73fb6334a202c99d6","abstract_canon_sha256":"0cc4ec98ad0b347712106b505a4d411704239618f91551f92ee81e1bd6010cd2"},"schema_version":"1.0"},"canonical_sha256":"bb464b8dc048441623d220ad62310a2a5bbd43d4ebe6cba1a9a99f7991c33b7e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:21:44.787977Z","signature_b64":"Bvh6Q9YdMaX0i6SNEa+Sci1r7n5X5QftD4erk+jwj9PeAVLCKWEcIO6XuIQGT84tWtjttxmdzmroznvVWTqrAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"bb464b8dc048441623d220ad62310a2a5bbd43d4ebe6cba1a9a99f7991c33b7e","last_reissued_at":"2026-05-18T00:21:44.787471Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:21:44.787471Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1803.02975","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:21:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"f+g1QEa3albw5pvfFUatDXfc4VTm4LR9XQO6cZFEbXSN/dsgaVEu+iAqkWPhP3K8BaUDhKIVYg/EGkbaStH3Bw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T12:07:03.810123Z"},"content_sha256":"5d9019f154942bfb456698671e51520537f99878caeb7aaba7246f169a683d37","schema_version":"1.0","event_id":"sha256:5d9019f154942bfb456698671e51520537f99878caeb7aaba7246f169a683d37"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:XNDEXDOAJBCBMI6SECWWEMIKFJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Verifying nonlinear analog and mixed-signal circuits with inputs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.FL"],"primary_cat":"cs.SY","authors_text":"Chuchu Fan, Ezio Bartocci, J\\\"urgen Maier, Sayan Mitra, Ulrich Schmid, Yu Meng","submitted_at":"2018-03-08T05:50:09Z","abstract_excerpt":"We present a new technique for verifying nonlinear and hybrid models with inputs. We observe that once an input signal is fixed, the sensitivity analysis of the model can be computed much more precisely. Based on this result, we propose a new simulation-driven verification algorithm and apply it to a suite of nonlinear and hybrid models of CMOS digital circuits under different input signals. The models are low-dimensional but with highly nonlinear ODEs, with nearly hundreds of logarithmic and exponential terms. Some of our experiments analyze the metastability of bistable circuits with very se"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1803.02975","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:21:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7JPtmnBARC8auOKviDdlKKemzDGAsr5dH6q6WMauso+z75SXldk5mF7pV6g2AKIXrEHSzwVqRVggBISfYl8ZDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T12:07:03.810488Z"},"content_sha256":"ec406504fd04f8b833ade51ea618cd0a9cf4792c2db19f0f00b17d13ea7e7595","schema_version":"1.0","event_id":"sha256:ec406504fd04f8b833ade51ea618cd0a9cf4792c2db19f0f00b17d13ea7e7595"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XNDEXDOAJBCBMI6SECWWEMIKFJ/bundle.json","state_url":"https://pith.science/pith/XNDEXDOAJBCBMI6SECWWEMIKFJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XNDEXDOAJBCBMI6SECWWEMIKFJ/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-02T12:07:03Z","links":{"resolver":"https://pith.science/pith/XNDEXDOAJBCBMI6SECWWEMIKFJ","bundle":"https://pith.science/pith/XNDEXDOAJBCBMI6SECWWEMIKFJ/bundle.json","state":"https://pith.science/pith/XNDEXDOAJBCBMI6SECWWEMIKFJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XNDEXDOAJBCBMI6SECWWEMIKFJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:XNDEXDOAJBCBMI6SECWWEMIKFJ","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":"0cc4ec98ad0b347712106b505a4d411704239618f91551f92ee81e1bd6010cd2","cross_cats_sorted":["cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-03-08T05:50:09Z","title_canon_sha256":"017ae9ec2ef6da929ba6e184f62a8eb5e9ca25019b790cc73fb6334a202c99d6"},"schema_version":"1.0","source":{"id":"1803.02975","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1803.02975","created_at":"2026-05-18T00:21:44Z"},{"alias_kind":"arxiv_version","alias_value":"1803.02975v1","created_at":"2026-05-18T00:21:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1803.02975","created_at":"2026-05-18T00:21:44Z"},{"alias_kind":"pith_short_12","alias_value":"XNDEXDOAJBCB","created_at":"2026-05-18T12:33:01Z"},{"alias_kind":"pith_short_16","alias_value":"XNDEXDOAJBCBMI6S","created_at":"2026-05-18T12:33:01Z"},{"alias_kind":"pith_short_8","alias_value":"XNDEXDOA","created_at":"2026-05-18T12:33:01Z"}],"graph_snapshots":[{"event_id":"sha256:ec406504fd04f8b833ade51ea618cd0a9cf4792c2db19f0f00b17d13ea7e7595","target":"graph","created_at":"2026-05-18T00:21:44Z","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":"We present a new technique for verifying nonlinear and hybrid models with inputs. We observe that once an input signal is fixed, the sensitivity analysis of the model can be computed much more precisely. Based on this result, we propose a new simulation-driven verification algorithm and apply it to a suite of nonlinear and hybrid models of CMOS digital circuits under different input signals. The models are low-dimensional but with highly nonlinear ODEs, with nearly hundreds of logarithmic and exponential terms. Some of our experiments analyze the metastability of bistable circuits with very se","authors_text":"Chuchu Fan, Ezio Bartocci, J\\\"urgen Maier, Sayan Mitra, Ulrich Schmid, Yu Meng","cross_cats":["cs.FL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-03-08T05:50:09Z","title":"Verifying nonlinear analog and mixed-signal circuits with inputs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1803.02975","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:5d9019f154942bfb456698671e51520537f99878caeb7aaba7246f169a683d37","target":"record","created_at":"2026-05-18T00:21:44Z","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":"0cc4ec98ad0b347712106b505a4d411704239618f91551f92ee81e1bd6010cd2","cross_cats_sorted":["cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-03-08T05:50:09Z","title_canon_sha256":"017ae9ec2ef6da929ba6e184f62a8eb5e9ca25019b790cc73fb6334a202c99d6"},"schema_version":"1.0","source":{"id":"1803.02975","kind":"arxiv","version":1}},"canonical_sha256":"bb464b8dc048441623d220ad62310a2a5bbd43d4ebe6cba1a9a99f7991c33b7e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"bb464b8dc048441623d220ad62310a2a5bbd43d4ebe6cba1a9a99f7991c33b7e","first_computed_at":"2026-05-18T00:21:44.787471Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:21:44.787471Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Bvh6Q9YdMaX0i6SNEa+Sci1r7n5X5QftD4erk+jwj9PeAVLCKWEcIO6XuIQGT84tWtjttxmdzmroznvVWTqrAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:21:44.787977Z","signed_message":"canonical_sha256_bytes"},"source_id":"1803.02975","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5d9019f154942bfb456698671e51520537f99878caeb7aaba7246f169a683d37","sha256:ec406504fd04f8b833ade51ea618cd0a9cf4792c2db19f0f00b17d13ea7e7595"],"state_sha256":"a86f58d033ce872212e7bd1aebe963dfbd013639ade491ec8869b713748f278b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TdH/t5pcv2Coj+q9xCcxOif+TEYda7Mh9C2GI77CbclRMpT0oFNQeLLbjdITJKU+SuUOxv7i4J6Y5f0GeYOzCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T12:07:03.812429Z","bundle_sha256":"ba1c20d2024f39cc8a9f28a4140baf40a4b3a2777d9c87762c4853a797700290"}}