{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:UXIBGBLP5O3LWVVMNGEUBC7UMJ","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":"a78c75c0671561e4447786c52050407ae90e8bed8647e80d2bdd15c08f76d18f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2018-05-15T22:18:10Z","title_canon_sha256":"878cff0acf350f8e040a8aa4872049173e698e9cfbac642bb10e4e30e588f1e8"},"schema_version":"1.0","source":{"id":"1805.06050","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1805.06050","created_at":"2026-05-18T00:15:49Z"},{"alias_kind":"arxiv_version","alias_value":"1805.06050v1","created_at":"2026-05-18T00:15:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1805.06050","created_at":"2026-05-18T00:15:49Z"},{"alias_kind":"pith_short_12","alias_value":"UXIBGBLP5O3L","created_at":"2026-05-18T12:32:56Z"},{"alias_kind":"pith_short_16","alias_value":"UXIBGBLP5O3LWVVM","created_at":"2026-05-18T12:32:56Z"},{"alias_kind":"pith_short_8","alias_value":"UXIBGBLP","created_at":"2026-05-18T12:32:56Z"}],"graph_snapshots":[{"event_id":"sha256:0271839f1eceafb1382a7d1991da1192777eafb58d84e72158df08f482129c7f","target":"graph","created_at":"2026-05-18T00:15:49Z","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":"Approximate computing is an emerging paradigm where design accuracy can be traded off for benefits in design metrics such as design area, power consumption or circuit complexity. In this work, we present a novel paradigm to synthesize approximate circuits using Boolean matrix factorization (BMF). In our methodology the truth table of a sub-circuit of the design is approximated using BMF to a controllable approximation degree, and the results of the factorization are used to synthesize a less complex subcircuit. To scale our technique to large circuits, we devise a circuit decomposition method ","authors_text":"Hokchhay Tann, Sherief Reda, Soheil Hashemi","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2018-05-15T22:18:10Z","title":"BLASYS: Approximate Logic Synthesis Using Boolean Matrix Factorization"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1805.06050","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:1cf0cdb4b10f3a690082a992bb003e217f2b9c9a1b90616c713a386f2bc00f26","target":"record","created_at":"2026-05-18T00:15:49Z","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":"a78c75c0671561e4447786c52050407ae90e8bed8647e80d2bdd15c08f76d18f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2018-05-15T22:18:10Z","title_canon_sha256":"878cff0acf350f8e040a8aa4872049173e698e9cfbac642bb10e4e30e588f1e8"},"schema_version":"1.0","source":{"id":"1805.06050","kind":"arxiv","version":1}},"canonical_sha256":"a5d013056febb6bb56ac6989408bf4627ba15dcfd5de250892680cc9ad466a3b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a5d013056febb6bb56ac6989408bf4627ba15dcfd5de250892680cc9ad466a3b","first_computed_at":"2026-05-18T00:15:49.049101Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:15:49.049101Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"qxYn70cnek0cRT8L59v2aW2TlzBcnoYljs+w1U2DML6qmhuE0cSPUm2jzqmIO0hixuca12tEIkFc130WBOnZAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:15:49.049560Z","signed_message":"canonical_sha256_bytes"},"source_id":"1805.06050","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1cf0cdb4b10f3a690082a992bb003e217f2b9c9a1b90616c713a386f2bc00f26","sha256:0271839f1eceafb1382a7d1991da1192777eafb58d84e72158df08f482129c7f"],"state_sha256":"96844f6dc89915e35cc8516b30bec64a84c3a8e8c235bea2a97dbe2bed3cfd35"}