{"as_of":"2026-08-06T17:20:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:258333a375f7762e0162d16a77ede19eb5d2029d741e7fc25ef510da11985996","coverage":[{"denominator":48,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":48,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T00:38:39.566853Z","state":"measured"},{"denominator":48,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":48,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-06T06:34:29.942622+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2608.01045/citation-record","integrity":"/paper/2608.01045/integrity","json":"/paper/2608.01045/citation-record.json","paper":"/paper/2608.01045"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T00:38:54.301966Z","title":"Part 4: The 2020 wilson research group functional verifi- cation study","venue":null,"work_id":"b07596f5-f0cb-4995-ae9e-d3e0fccc5dfc","year":2020},"citing_paper":{"arxiv_id":"2608.01045","last_updated":"2026-08-02T07:02:26Z","snapshot_observed_at":"2026-08-06T16:23:07.457635Z","submitted_at":"2026-08-02T07:02:26Z","title":"Forbench: Symbolic Simulation Helps Make Your Testbench More Formal","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-06T00:38:32.957560Z"},"links":{"citing_paper":"/paper/2608.01045"},"observation_digest":"sha256:4d48433b7ed3b5c98ba27b1cf605e0dee4ab226240dfb9a357df10fe30b0f57d","observation_id":"fa373513-0689-4e03-8ea5-3f144665e254","resolution":{"observed_at":"2026-08-06T00:38:54.419756Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T00:38:53.949584Z","title":"Part 8: The 2022 wilson research group functional verifi- cation study","venue":null,"work_id":"123f6242-1eee-4534-b1a6-962a1d41740e","year":2022},"citing_paper":{"arxiv_id":"2608.01045","last_updated":"2026-08-02T07:02:26Z","snapshot_observed_at":"2026-08-06T16:23:07.457635Z","submitted_at":"2026-08-02T07:02:26Z","title":"Forbench: Symbolic Simulation Helps Make Your Testbench More Formal","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-06T00:38:33.067517Z"},"links":{"citing_paper":"/paper/2608.01045"},"observation_digest":"sha256:c0c82db44a05901c18b4af5b87e7f5ec5450857310aee789c851671f10da1aee","observation_id":"10655d17-6c38-4ae3-9645-5efccd242e94","resolution":{"observed_at":"2026-08-06T00:38:54.103385Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T00:38:53.612953Z","title":"Gem: Gpu-accelerated emulator-inspired rtl simulation","venue":null,"work_id":"d0135b2c-e460-44ae-a81c-0d1fe498dde4","year":2025},"citing_paper":{"arxiv_id":"2608.01045","last_updated":"2026-08-02T07:02:26Z","snapshot_observed_at":"2026-08-06T16:23:07.457635Z","submitted_at":"2026-08-02T07:02:26Z","title":"Forbench: Symbolic Simulation Helps Make Your Testbench More Formal","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-06T00:38:33.280665Z"},"links":{"citing_paper":"/paper/2608.01045"},"observation_digest":"sha256:d62f403ee72270a69a459b8fa8f1eee3a6ca7416c972d06a245559fbf9696401","observation_id":"2cde8fd6-d418-4127-88b5-1312b877a65b","resolution":{"observed_at":"2026-08-06T00:38:53.775963Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T00:38:53.334374Z","title":"Difuzzrtl: Differential fuzz testing to find cpu bugs","venue":null,"work_id":"baa66165-b0d7-4c0c-af1a-0cf1c604430c","year":2021},"citing_paper":{"arxiv_id":"2608.01045","last_updated":"2026-08-02T07:02:26Z","snapshot_observed_at":"2026-08-06T16:23:07.457635Z","submitted_at":"2026-08-02T07:02:26Z","title":"Forbench: Symbolic Simulation Helps Make Your Testbench More Formal","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-06T00:38:33.445262Z"},"links":{"citing_paper":"/paper/2608.01045"},"observation_digest":"sha256:0f2c4e9acf2e1339aeab34a4b2121a5599926dbab7dca9fddbf5cb45aca43cae","observation_id":"774f7270-3a29-430b-a458-31c39e4967b4","resolution":{"observed_at":"2026-08-06T00:38:53.455235Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T00:38:53.066952Z","title":"Rfuzz: Coverage-directed fuzz testing of rtl on fpgas","venue":null,"work_id":"de7cf2fa-b675-4727-a4df-7ced727e8f97","year":2018},"citing_paper":{"arxiv_id":"2608.01045","last_updated":"2026-08-02T07:02:26Z","snapshot_observed_at":"2026-08-06T16:23:07.457635Z","submitted_at":"2026-08-02T07:02:26Z","title":"Forbench: Symbolic Simulation Helps Make Your Testbench More Formal","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-06T00:38:33.579520Z"},"links":{"citing_paper":"/paper/2608.01045"},"observation_digest":"sha256:a023a6263d3ff29373409ee9606dbb51a1f26855e2621347f808197d0930fb33","observation_id":"66a41693-6e5c-435f-9031-32fca5b0b4d1","resolution":{"observed_at":"2026-08-06T00:38:53.154182Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T00:38:52.673408Z","title":"Fuzzing hardware like software","venue":null,"work_id":"d614bcb0-0051-42eb-9c2c-e838c596f503","year":2022},"citing_paper":{"arxiv_id":"2608.01045","last_updated":"2026-08-02T07:02:26Z","snapshot_observed_at":"2026-08-06T16:23:07.457635Z","submitted_at":"2026-08-02T07:02:26Z","title":"Forbench: Symbolic Simulation Helps Make Your Testbench More Formal","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-06T00:38:33.795914Z"},"links":{"citing_paper":"/paper/2608.01045"},"observation_digest":"sha256:20db843367018c5df896b4e68a48ba2ac62b4dfab659b8d31675b2ee54a8f212","observation_id":"acfa46fc-f216-4fe8-99a6-5667ba37c5a1","resolution":{"observed_at":"2026-08-06T00:38:52.853234Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T00:38:52.362460Z","title":"Fuzzbtor2: A random generator of word-level model checking problems in btor2 format","venue":null,"work_id":"bffb5681-b881-469a-863f-9a07123d5b45","year":2023},"citing_paper":{"arxiv_id":"2608.01045","last_updated":"2026-08-02T07:02:26Z","snapshot_observed_at":"2026-08-06T16:23:07.457635Z","submitted_at":"2026-08-02T07:02:26Z","title":"Forbench: Symbolic Simulation Helps Make Your Testbench More Formal","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-06T00:38:33.935970Z"},"links":{"citing_paper":"/paper/2608.01045"},"observation_digest":"sha256:f1648511db4277a3467dd81450f98ca6fc0d9d5d49155a3f276c6dd55fbf822d","observation_id":"cdecd786-2234-44de-afa6-49439444bf30","resolution":{"observed_at":"2026-08-06T00:38:52.541063Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T00:38:52.055827Z","title":"Wasim: A word-level abstract symbolic simula- tion framework for hardware formal verification","venue":null,"work_id":"f6d3fea7-db3d-40ec-a8f0-3764810a9bb7","year":2023},"citing_paper":{"arxiv_id":"2608.01045","last_updated":"2026-08-02T07:02:26Z","snapshot_observed_at":"2026-08-06T16:23:07.457635Z","submitted_at":"2026-08-02T07:02:26Z","title":"Forbench: Symbolic Simulation Helps Make Your Testbench More Formal","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-06T00:38:34.142506Z"},"links":{"citing_paper":"/paper/2608.01045"},"observation_digest":"sha256:9945ba88d4980e77cc8c806046a02a47fb4c5452995f0516637a77a608d3943d","observation_id":"9151193b-9234-4179-9915-8f4a39b6300b","resolution":{"observed_at":"2026-08-06T00:38:52.227025Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T00:38:51.700499Z","title":"Deeply optimizing the sat solver for the ic3 algorithm","venue":null,"work_id":"16261d2e-08de-4f01-93cb-154325c76f5e","year":2025},"citing_paper":{"arxiv_id":"2608.01045","last_updated":"2026-08-02T07:02:26Z","snapshot_observed_at":"2026-08-06T16:23:07.457635Z","submitted_at":"2026-08-02T07:02:26Z","title":"Forbench: Symbolic Simulation Helps Make Your Testbench More Formal","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-06T00:38:34.339566Z"},"links":{"citing_paper":"/paper/2608.01045"},"observation_digest":"sha256:77fce7123675d6f5080600075adc146a2ea236af64b71c4629a35d6685c2b374","observation_id":"9e8d8297-6516-4d48-a17b-0d5167334af5","resolution":{"observed_at":"2026-08-06T00:38:51.854153Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T00:38:51.384277Z","title":"Symbolic model checking without bdds","venue":null,"work_id":"5aaf0b5f-26a3-4bfc-bb57-7b0ed9979207","year":1999},"citing_paper":{"arxiv_id":"2608.01045","last_updated":"2026-08-02T07:02:26Z","snapshot_observed_at":"2026-08-06T16:23:07.457635Z","submitted_at":"2026-08-02T07:02:26Z","title":"Forbench: Symbolic Simulation Helps Make Your Testbench More Formal","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-06T00:38:34.468961Z"},"links":{"citing_paper":"/paper/2608.01045"},"observation_digest":"sha256:4d93d165fc233b6c644b81760c2e8dd971d4405a9845ceb80ab61e628bac9560","observation_id":"ea38c4b5-d006-460d-8fd8-2a2b05e068b3","resolution":{"observed_at":"2026-08-06T00:38:51.503840Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T00:38:51.127722Z","title":"Efficient implementation of property directed reachability","venue":null,"work_id":"2442261a-3d30-4f03-a1f7-9f395bddb7d4","year":2011},"citing_paper":{"arxiv_id":"2608.01045","last_updated":"2026-08-02T07:02:26Z","snapshot_observed_at":"2026-08-06T16:23:07.457635Z","submitted_at":"2026-08-02T07:02:26Z","title":"Forbench: Symbolic Simulation Helps Make Your Testbench More Formal","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-06T00:38:34.619754Z"},"links":{"citing_paper":"/paper/2608.01045"},"observation_digest":"sha256:9976d2c8044994785d5767c439cc430ae951e8ef816006bf8a946de192ac6d64","observation_id":"ba8755ce-fb31-426d-b474-d275a8f38684","resolution":{"observed_at":"2026-08-06T00:38:51.252894Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T00:38:50.799834Z","title":"Automatic verification of finite-state concurrent systems using temporal logic specifications.ACM Transactions on Programming Languages and Systems (TOPLAS), 8(2):244–263, 1986","venue":null,"work_id":"24ad23f5-859e-4c62-8a05-d4f29176e95c","year":1986},"citing_paper":{"arxiv_id":"2608.01045","last_updated":"2026-08-02T07:02:26Z","snapshot_observed_at":"2026-08-06T16:23:07.457635Z","submitted_at":"2026-08-02T07:02:26Z","title":"Forbench: Symbolic Simulation Helps Make Your Testbench More Formal","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-06T00:38:34.784187Z"},"links":{"citing_paper":"/paper/2608.01045"},"observation_digest":"sha256:5ddadf12d9a83f2c0acfaaad36e988f43a7c56246cb5259ed908bf6e13f1ec4a","observation_id":"2f9c4b4d-d148-4bb5-b5a1-ebfa12fcfc54","resolution":{"observed_at":"2026-08-06T00:38:50.964877Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T00:38:34.912858Z","title":"Model checking","venue":null,"work_id":null,"year":1997},"citing_paper":{"arxiv_id":"2608.01045","last_updated":"2026-08-02T07:02:26Z","snapshot_observed_at":"2026-08-06T16:23:07.457635Z","submitted_at":"2026-08-02T07:02:26Z","title":"Forbench: Symbolic Simulation Helps Make Your Testbench More Formal","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-06T00:38:34.912858Z"},"links":{"citing_paper":"/paper/2608.01045"},"observation_digest":"sha256:495da3197b9d73008cb8d4fce7d18fa004739d1c264982e8b8e4dd34a4a2eee8","observation_id":"dd83b9af-00b0-4e34-87ed-a8b2e4557b56","resolution":{"observed_at":"2026-08-06T00:38:34.912858Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T00:38:50.374218Z","title":"Handbook of model checking, volume 10","venue":null,"work_id":"5daacc94-9aba-4bfb-8283-f37eb66a7880","year":2018},"citing_paper":{"arxiv_id":"2608.01045","last_updated":"2026-08-02T07:02:26Z","snapshot_observed_at":"2026-08-06T16:23:07.457635Z","submitted_at":"2026-08-02T07:02:26Z","title":"Forbench: Symbolic Simulation Helps Make Your Testbench More Formal","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-06T00:38:35.043401Z"},"links":{"citing_paper":"/paper/2608.01045"},"observation_digest":"sha256:675a8ce99b4378b7f24f59e374d0aa6b4859feff05af60152e7e2a89395a22b6","observation_id":"61858560-13bd-47f8-bec7-32d58d8c45b1","resolution":{"observed_at":"2026-08-06T00:38:50.597941Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T00:38:50.123448Z","title":"A survey of symbolic execution techniques.ACM Computing Surveys (CSUR), 51(3):1–39, 2018","venue":null,"work_id":"7be5fc43-097e-433a-8b48-a2804a73b958","year":2018},"citing_paper":{"arxiv_id":"2608.01045","last_updated":"2026-08-02T07:02:26Z","snapshot_observed_at":"2026-08-06T16:23:07.457635Z","submitted_at":"2026-08-02T07:02:26Z","title":"Forbench: Symbolic Simulation Helps Make Your Testbench More Formal","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-06T00:38:35.207398Z"},"links":{"citing_paper":"/paper/2608.01045"},"observation_digest":"sha256:59a9376993918b42e3625a548cf1d7b8ab2d7f1538888b97f78bde2537d8ffc2","observation_id":"818aba34-79f6-433c-bf89-780ce6256c46","resolution":{"observed_at":"2026-08-06T00:38:50.219018Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T00:38:49.842445Z","title":"En- hancing symbolic execution with veritesting","venue":null,"work_id":"d7299871-82ee-47b2-86aa-fd3a5acd04d7","year":2014},"citing_paper":{"arxiv_id":"2608.01045","last_updated":"2026-08-02T07:02:26Z","snapshot_observed_at":"2026-08-06T16:23:07.457635Z","submitted_at":"2026-08-02T07:02:26Z","title":"Forbench: Symbolic Simulation Helps Make Your Testbench More Formal","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-06T00:38:35.351385Z"},"links":{"citing_paper":"/paper/2608.01045"},"observation_digest":"sha256:6ac1830d948cf3e673247e78c84df7983aebd3a93e7d2f9133c6d217d1543f86","observation_id":"90d37344-9417-4e79-93e7-dcb661da5660","resolution":{"observed_at":"2026-08-06T00:38:49.964976Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T00:38:49.577915Z","title":"Satisfiability modulo theories","venue":null,"work_id":"eeb28fdc-850f-4bcd-a121-88883e847d73","year":2018},"citing_paper":{"arxiv_id":"2608.01045","last_updated":"2026-08-02T07:02:26Z","snapshot_observed_at":"2026-08-06T16:23:07.457635Z","submitted_at":"2026-08-02T07:02:26Z","title":"Forbench: Symbolic Simulation Helps Make Your Testbench More Formal","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-06T00:38:35.470532Z"},"links":{"citing_paper":"/paper/2608.01045"},"observation_digest":"sha256:85bf4f08f656e2237b5081f4a9c8d3e4c09f5d58b0b38245e9115ec7f25481fe","observation_id":"898cfa9a-d976-4766-9cd5-e3e846dc29ff","resolution":{"observed_at":"2026-08-06T00:38:49.749583Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T00:38:49.295834Z","title":"Processor verification using symbolic execution: A risc-v case-study","venue":null,"work_id":"09e6b651-4c5d-466a-9921-ed02fadff8b1","year":2023},"citing_paper":{"arxiv_id":"2608.01045","last_updated":"2026-08-02T07:02:26Z","snapshot_observed_at":"2026-08-06T16:23:07.457635Z","submitted_at":"2026-08-02T07:02:26Z","title":"Forbench: Symbolic Simulation Helps Make Your Testbench More Formal","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-06T00:38:35.624482Z"},"links":{"citing_paper":"/paper/2608.01045"},"observation_digest":"sha256:cb058a7422f117dd064f83442f2ff7866a897ed2b874a1c6ded6800cc4faa1c5","observation_id":"17106241-f763-42c0-91ce-f9d4021d0030","resolution":{"observed_at":"2026-08-06T00:38:49.425626Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T00:38:49.001925Z","title":"Verilator and systemperl","venue":null,"work_id":"255180fc-1ef3-43d4-a897-17a54fa52dcb","year":2004},"citing_paper":{"arxiv_id":"2608.01045","last_updated":"2026-08-02T07:02:26Z","snapshot_observed_at":"2026-08-06T16:23:07.457635Z","submitted_at":"2026-08-02T07:02:26Z","title":"Forbench: Symbolic Simulation Helps Make Your Testbench More Formal","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-06T00:38:35.755226Z"},"links":{"citing_paper":"/paper/2608.01045"},"observation_digest":"sha256:0b795209c5898b4100007599955d245bc5f9312cef4edf7d694c66e001112233","observation_id":"9de9eaa2-ab04-4e5f-acde-04164e12473d","resolution":{"observed_at":"2026-08-06T00:38:49.124220Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T00:38:35.891350Z","title":"Klee: unassisted and automatic generation of high-coverage tests for complex systems programs","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2608.01045","last_updated":"2026-08-02T07:02:26Z","snapshot_observed_at":"2026-08-06T16:23:07.457635Z","submitted_at":"2026-08-02T07:02:26Z","title":"Forbench: Symbolic Simulation Helps Make Your Testbench More Formal","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-06T00:38:35.891350Z"},"links":{"citing_paper":"/paper/2608.01045"},"observation_digest":"sha256:9332909de6618348dbcad9f7cc99ac92b069a7c9ff0237559797d76c0c8244fc","observation_id":"8cb42df1-d484-477d-b618-bf6fa735766c","resolution":{"observed_at":"2026-08-06T00:38:35.891350Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T00:38:48.760435Z","title":"Symbolic trajectory evaluation","venue":null,"work_id":"22c21748-2992-4287-b666-fa317b2da597","year":2005},"citing_paper":{"arxiv_id":"2608.01045","last_updated":"2026-08-02T07:02:26Z","snapshot_observed_at":"2026-08-06T16:23:07.457635Z","submitted_at":"2026-08-02T07:02:26Z","title":"Forbench: Symbolic Simulation Helps Make Your Testbench More Formal","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-06T00:38:36.059771Z"},"links":{"citing_paper":"/paper/2608.01045"},"observation_digest":"sha256:88ceb22baebfba580365a1f5c6a1994a99c77d00d38bcd7386ecd397a749df13","observation_id":"fd019cc1-76e9-46e2-a09d-4c0564d8ab01","resolution":{"observed_at":"2026-08-06T00:38:48.855605Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-02658-4_32","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T11:07:33.414567Z","title":"Replacing testing with formal verification in intel coretm i7 processor execution engine validation","venue":"Lecture notes in computer science","work_id":"37af8278-5b2c-4a3b-ba7e-b259e3347a18","year":2009},"citing_paper":{"arxiv_id":"2608.01045","last_updated":"2026-08-02T07:02:26Z","snapshot_observed_at":"2026-08-06T16:23:07.457635Z","submitted_at":"2026-08-02T07:02:26Z","title":"Forbench: Symbolic Simulation Helps Make Your Testbench More Formal","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-06T00:38:36.207614Z"},"links":{"citing_paper":"/paper/2608.01045"},"observation_digest":"sha256:cd79615d5f8428888224b129eb8e402ec683cc68db56faba16c7e8c9c8e626fd","observation_id":"2a2fff5d-312c-4c2a-a2f1-53f93623cb3f","resolution":{"observed_at":"2026-08-06T00:38:39.858690Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T00:38:41.269881Z","title":null,"venue":null,"work_id":"af3a0adf-0d4d-4ab8-954e-5b0a38cbc811","year":2003},"citing_paper":{"arxiv_id":"2608.01045","last_updated":"2026-08-02T07:02:26Z","snapshot_observed_at":"2026-08-06T16:23:07.457635Z","submitted_at":"2026-08-02T07:02:26Z","title":"Forbench: Symbolic Simulation Helps Make Your Testbench More Formal","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-06T00:38:36.391735Z"},"links":{"citing_paper":"/paper/2608.01045"},"observation_digest":"sha256:bef741a633372a091829f64f501ce42240ef19e349e25612780e1108573780db","observation_id":"6ce65691-7e67-417f-bbac-8e97043418e5","resolution":{"observed_at":"2026-08-06T00:38:41.401563Z","resolver_source":"arxiv_id_nonexistent","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T00:38:48.412300Z","title":null,"venue":null,"work_id":"67ade4e7-39b2-427b-aae3-8a1c61d752eb","year":2020},"citing_paper":{"arxiv_id":"2608.01045","last_updated":"2026-08-02T07:02:26Z","snapshot_observed_at":"2026-08-06T16:23:07.457635Z","submitted_at":"2026-08-02T07:02:26Z","title":"Forbench: Symbolic Simulation Helps Make Your Testbench More Formal","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-06T00:38:36.524497Z"},"links":{"citing_paper":"/paper/2608.01045"},"observation_digest":"sha256:7daf2c40f97670df229d2a43e8832e78a3ddd223bcba1b47fe97e0e3107dfb5b","observation_id":"eea240c3-a0bb-4d97-9c20-d86dd15fe281","resolution":{"observed_at":"2026-08-06T00:38:48.573248Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T00:38:48.165188Z","title":"Picker: A multilingual verification tool for hardware design and validation","venue":null,"work_id":"9a176ace-6c8c-4887-adba-acfaddadd91d","year":2025},"citing_paper":{"arxiv_id":"2608.01045","last_updated":"2026-08-02T07:02:26Z","snapshot_observed_at":"2026-08-06T16:23:07.457635Z","submitted_at":"2026-08-02T07:02:26Z","title":"Forbench: Symbolic Simulation Helps Make Your Testbench More Formal","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-06T00:38:36.633086Z"},"links":{"citing_paper":"/paper/2608.01045"},"observation_digest":"sha256:52770345c33f071e7bffc35c8ed9e6f63101609992114681559e4cb231cce335","observation_id":"0015893c-fad8-4f96-a583-196b5d7a22ca","resolution":{"observed_at":"2026-08-06T00:38:48.301089Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T00:38:47.851554Z","title":"Cocotb: a python-based digital logic verification frame- work","venue":null,"work_id":"f09247e0-4581-456d-9431-24a4ed90c826","year":2018},"citing_paper":{"arxiv_id":"2608.01045","last_updated":"2026-08-02T07:02:26Z","snapshot_observed_at":"2026-08-06T16:23:07.457635Z","submitted_at":"2026-08-02T07:02:26Z","title":"Forbench: Symbolic Simulation Helps Make Your Testbench More Formal","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-06T00:38:36.757741Z"},"links":{"citing_paper":"/paper/2608.01045"},"observation_digest":"sha256:08f5e77a33861ce5607050da5eaffc6214a8e10ccc4c6edd770b27acc3c637e9","observation_id":"d3439c13-0e19-4428-b802-083730cb585a","resolution":{"observed_at":"2026-08-06T00:38:47.976685Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2507.02008","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T00:38:40.853392Z","title":"Smt- sweep: Word-level representation unification for hardware verification, 2025","venue":null,"work_id":"20ebe56d-77cf-4cea-af09-6f1dc372e63f","year":2025},"citing_paper":{"arxiv_id":"2608.01045","last_updated":"2026-08-02T07:02:26Z","snapshot_observed_at":"2026-08-06T16:23:07.457635Z","submitted_at":"2026-08-02T07:02:26Z","title":"Forbench: Symbolic Simulation Helps Make Your Testbench More Formal","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-06T00:38:36.871633Z"},"links":{"citing_paper":"/paper/2608.01045"},"observation_digest":"sha256:4675cae725c2e5efdd4aea9b5f514a1ff2c5f271a1c0a304457997534f06e923","observation_id":"00a01306-4b89-48c2-a712-ff60201f44d3","resolution":{"observed_at":"2026-08-06T00:38:40.955413Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T00:38:47.540071Z","title":"Goldmine: Automatic assertion generation using data mining and static analysis","venue":null,"work_id":"3fa2cdc6-3907-49af-af22-e842224ff6b2","year":2010},"citing_paper":{"arxiv_id":"2608.01045","last_updated":"2026-08-02T07:02:26Z","snapshot_observed_at":"2026-08-06T16:23:07.457635Z","submitted_at":"2026-08-02T07:02:26Z","title":"Forbench: Symbolic Simulation Helps Make Your Testbench More Formal","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-06T00:38:36.961258Z"},"links":{"citing_paper":"/paper/2608.01045"},"observation_digest":"sha256:56f4edc977e3912427961857b976bd19f06b260faa8ae819840d4d080dd16cdc","observation_id":"cdda8399-2a77-4736-afcf-6786a5e97e17","resolution":{"observed_at":"2026-08-06T00:38:47.665486Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T00:38:47.250735Z","title":"The seahorn verification framework","venue":null,"work_id":"36eaf90e-36a5-420f-bda1-a5962b160c0c","year":2015},"citing_paper":{"arxiv_id":"2608.01045","last_updated":"2026-08-02T07:02:26Z","snapshot_observed_at":"2026-08-06T16:23:07.457635Z","submitted_at":"2026-08-02T07:02:26Z","title":"Forbench: Symbolic Simulation Helps Make Your Testbench More Formal","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-06T00:38:37.121339Z"},"links":{"citing_paper":"/paper/2608.01045"},"observation_digest":"sha256:58ef33d3ffaf1578cbe918eb304b695e709fc1d58b49b73c4d55c424c89e2911","observation_id":"153acccc-9df1-4bbf-886a-04e79d75552f","resolution":{"observed_at":"2026-08-06T00:38:47.417211Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T00:38:47.003131Z","title":"Program verification with constrained horn clauses","venue":null,"work_id":"9763916a-43b5-4d98-84e7-5cb4829c0462","year":2022},"citing_paper":{"arxiv_id":"2608.01045","last_updated":"2026-08-02T07:02:26Z","snapshot_observed_at":"2026-08-06T16:23:07.457635Z","submitted_at":"2026-08-02T07:02:26Z","title":"Forbench: Symbolic Simulation Helps Make Your Testbench More Formal","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-06T00:38:37.291934Z"},"links":{"citing_paper":"/paper/2608.01045"},"observation_digest":"sha256:f5f2eb065300a35da2dc769cb41511726267c6e4d318526a681d5da7a2256a58","observation_id":"e9e35011-79b2-4bb8-a425-aae82bb82932","resolution":{"observed_at":"2026-08-06T00:38:47.144036Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T00:38:46.657696Z","title":"Symbolic quick error detection using symbolic initial state for pre-silicon verification","venue":null,"work_id":"f4890da7-882a-46a2-b0ea-a37d2f74ec1e","year":2018},"citing_paper":{"arxiv_id":"2608.01045","last_updated":"2026-08-02T07:02:26Z","snapshot_observed_at":"2026-08-06T16:23:07.457635Z","submitted_at":"2026-08-02T07:02:26Z","title":"Forbench: Symbolic Simulation Helps Make Your Testbench More Formal","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-06T00:38:37.404039Z"},"links":{"citing_paper":"/paper/2608.01045"},"observation_digest":"sha256:daa3208d67b16348eccd938c65bcd2e6b9ec543a23a379b97bf37485353bab5f","observation_id":"b4b43239-cda1-4735-a074-2cdf00b23a42","resolution":{"observed_at":"2026-08-06T00:38:46.822244Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T00:38:46.423363Z","title":"Smt-switch: a solver-agnostic c++ api for smt solving","venue":null,"work_id":"024914e5-d4d4-4fc3-835c-d3694e930d02","year":2021},"citing_paper":{"arxiv_id":"2608.01045","last_updated":"2026-08-02T07:02:26Z","snapshot_observed_at":"2026-08-06T16:23:07.457635Z","submitted_at":"2026-08-02T07:02:26Z","title":"Forbench: Symbolic Simulation Helps Make Your Testbench More Formal","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-06T00:38:37.596457Z"},"links":{"citing_paper":"/paper/2608.01045"},"observation_digest":"sha256:69ba27607ef7c9de31f1461979e673bf331068d80d398125dc578885e3766580","observation_id":"0f6153fe-6cf0-41d9-acd7-0ccd15ac8a94","resolution":{"observed_at":"2026-08-06T00:38:46.531511Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T00:38:46.215980Z","title":"Bitwuzla","venue":null,"work_id":"5c92dba4-5819-4073-a9c2-a5838e42a1ce","year":2023},"citing_paper":{"arxiv_id":"2608.01045","last_updated":"2026-08-02T07:02:26Z","snapshot_observed_at":"2026-08-06T16:23:07.457635Z","submitted_at":"2026-08-02T07:02:26Z","title":"Forbench: Symbolic Simulation Helps Make Your Testbench More Formal","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-06T00:38:37.765101Z"},"links":{"citing_paper":"/paper/2608.01045"},"observation_digest":"sha256:237f4c585608b8d3a2b46e40c4e0549b4f00ea77f62d3362d33d7e9e03791a5d","observation_id":"8fb31af3-5374-4a15-bb7e-f1ea7c27e513","resolution":{"observed_at":"2026-08-06T00:38:46.338625Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T00:38:45.913331Z","title":"Btor2, btormc and boolector 3.0","venue":null,"work_id":"35bbf29a-e01f-4971-bfeb-9fc92a5a9e56","year":2018},"citing_paper":{"arxiv_id":"2608.01045","last_updated":"2026-08-02T07:02:26Z","snapshot_observed_at":"2026-08-06T16:23:07.457635Z","submitted_at":"2026-08-02T07:02:26Z","title":"Forbench: Symbolic Simulation Helps Make Your Testbench More Formal","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-06T00:38:37.931418Z"},"links":{"citing_paper":"/paper/2608.01045"},"observation_digest":"sha256:72f4452f61c4ac52453ded2438202d85e9eeb868c9181c2ed5ac90c8ea9aac95","observation_id":"bf21b272-d63c-4e7b-8ce7-e49cba31b3cf","resolution":{"observed_at":"2026-08-06T00:38:46.048911Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T00:38:45.619054Z","title":"Yosys-a free Verilog synthesis suite","venue":null,"work_id":"cb58cf9f-5c32-4a2f-8a2c-a3c365fb9f9b","year":2013},"citing_paper":{"arxiv_id":"2608.01045","last_updated":"2026-08-02T07:02:26Z","snapshot_observed_at":"2026-08-06T16:23:07.457635Z","submitted_at":"2026-08-02T07:02:26Z","title":"Forbench: Symbolic Simulation Helps Make Your Testbench More Formal","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-06T00:38:38.026044Z"},"links":{"citing_paper":"/paper/2608.01045"},"observation_digest":"sha256:1fc4b17fb53956829181dc696924498e825d6da1ced234dd465ab1eac9c7a91b","observation_id":"3b4b0aa0-55df-4f9c-960d-8586022c8ae7","resolution":{"observed_at":"2026-08-06T00:38:45.796463Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T00:38:45.308211Z","title":"Icarus verilog: open-source verilog more than a year later.Linux Journal, 2002(99):3, 2002","venue":null,"work_id":"b24ea33e-ac57-4d06-a92b-eab78da01caa","year":2002},"citing_paper":{"arxiv_id":"2608.01045","last_updated":"2026-08-02T07:02:26Z","snapshot_observed_at":"2026-08-06T16:23:07.457635Z","submitted_at":"2026-08-02T07:02:26Z","title":"Forbench: Symbolic Simulation Helps Make Your Testbench More Formal","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-06T00:38:38.133142Z"},"links":{"citing_paper":"/paper/2608.01045"},"observation_digest":"sha256:764c839186cd23424733d603f1e1f665a78ea09a54d1507dd8335e5e66c20a71","observation_id":"78464474-9f00-416a-b7c3-eba4da65ae9d","resolution":{"observed_at":"2026-08-06T00:38:45.492347Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T00:38:45.036048Z","title":"Hardware-implementation-of-aes-verilog","venue":null,"work_id":"9ae7bd90-4557-4d36-a489-695d26c2b6f3","year":2025},"citing_paper":{"arxiv_id":"2608.01045","last_updated":"2026-08-02T07:02:26Z","snapshot_observed_at":"2026-08-06T16:23:07.457635Z","submitted_at":"2026-08-02T07:02:26Z","title":"Forbench: Symbolic Simulation Helps Make Your Testbench More Formal","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-06T00:38:38.259676Z"},"links":{"citing_paper":"/paper/2608.01045"},"observation_digest":"sha256:6845bb5a53a326d14de0da07102d2cf86dae0bf20ae2acbe7f296851d86ddd7f","observation_id":"1383b062-1590-4c23-a2a4-cb79d51fad86","resolution":{"observed_at":"2026-08-06T00:38:45.159065Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T00:38:44.678231Z","title":"Asanovic et al","venue":null,"work_id":"72c44be5-76fa-4517-a770-d789d630f7e6","year":2016},"citing_paper":{"arxiv_id":"2608.01045","last_updated":"2026-08-02T07:02:26Z","snapshot_observed_at":"2026-08-06T16:23:07.457635Z","submitted_at":"2026-08-02T07:02:26Z","title":"Forbench: Symbolic Simulation Helps Make Your Testbench More Formal","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-06T00:38:38.347926Z"},"links":{"citing_paper":"/paper/2608.01045"},"observation_digest":"sha256:690780c015a39b47590080eccd9ffe88d6b8f5cb198b1ae2c198c89195dbce73","observation_id":"a4d3f66d-d2c6-42aa-9347-50798e94c64b","resolution":{"observed_at":"2026-08-06T00:38:44.862739Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T00:38:44.353184Z","title":"Piccolo: Risc-v cpu, simple 3-stage pipeline, for low-end applica- tions","venue":null,"work_id":"523aaadc-10c2-4a38-b25b-38e5ec1bcad5","year":2018},"citing_paper":{"arxiv_id":"2608.01045","last_updated":"2026-08-02T07:02:26Z","snapshot_observed_at":"2026-08-06T16:23:07.457635Z","submitted_at":"2026-08-02T07:02:26Z","title":"Forbench: Symbolic Simulation Helps Make Your Testbench More Formal","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-06T00:38:38.429013Z"},"links":{"citing_paper":"/paper/2608.01045"},"observation_digest":"sha256:5e389a6eee0db3c512a101f8e28797cec6335ffdc0ffe3dac6e9b93c93801b0a","observation_id":"687ebe1d-4a09-4dc6-b2a7-c8eaef78454b","resolution":{"observed_at":"2026-08-06T00:38:44.495075Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T00:38:44.084403Z","title":"Flute: Risc-v cpu, simple 5-stage in-order pipeline","venue":null,"work_id":"60601a5d-facd-4ae2-9764-9f91ad04efd7","year":2018},"citing_paper":{"arxiv_id":"2608.01045","last_updated":"2026-08-02T07:02:26Z","snapshot_observed_at":"2026-08-06T16:23:07.457635Z","submitted_at":"2026-08-02T07:02:26Z","title":"Forbench: Symbolic Simulation Helps Make Your Testbench More Formal","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-06T00:38:38.559496Z"},"links":{"citing_paper":"/paper/2608.01045"},"observation_digest":"sha256:d6ff3d39cef78d7bf250bb9c3736e909ecfd2829a87e72d8561025d53acaf8bb","observation_id":"b6e3d748-e960-41b6-b233-044f9246fcae","resolution":{"observed_at":"2026-08-06T00:38:44.186324Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T00:38:43.833951Z","title":"Ridecore: Risc-v dynamic execution core, an out-of-order risc-v proces- sor written in verilog hdl","venue":null,"work_id":"d292d430-26a9-4308-b4b0-62fa4c0f2c75","year":2016},"citing_paper":{"arxiv_id":"2608.01045","last_updated":"2026-08-02T07:02:26Z","snapshot_observed_at":"2026-08-06T16:23:07.457635Z","submitted_at":"2026-08-02T07:02:26Z","title":"Forbench: Symbolic Simulation Helps Make Your Testbench More Formal","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-06T00:38:38.668857Z"},"links":{"citing_paper":"/paper/2608.01045"},"observation_digest":"sha256:f2766811d9c871e045b603b92cd1901fbc85403d71ca5eaf550a6d10ab3e5b54","observation_id":"42fdf5e8-2381-474d-9fbc-6dfd5e30c10a","resolution":{"observed_at":"2026-08-06T00:38:43.958002Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T00:38:43.458284Z","title":"OR1200 source code, 2020","venue":null,"work_id":"a979b00e-6f56-445b-b5ae-21ddb92babf5","year":2020},"citing_paper":{"arxiv_id":"2608.01045","last_updated":"2026-08-02T07:02:26Z","snapshot_observed_at":"2026-08-06T16:23:07.457635Z","submitted_at":"2026-08-02T07:02:26Z","title":"Forbench: Symbolic Simulation Helps Make Your Testbench More Formal","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-06T00:38:38.792748Z"},"links":{"citing_paper":"/paper/2608.01045"},"observation_digest":"sha256:619e06b270b807edda81e186d3e81aaa6a793f135b21ebadd3ee6b02885b9b2e","observation_id":"70c607f0-e40d-48f1-a248-8725ca2865da","resolution":{"observed_at":"2026-08-06T00:38:43.622649Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T00:38:43.179432Z","title":"Characteristics of the itc’99 benchmark circuits","venue":null,"work_id":"e93924f3-448f-41c0-b4f7-b052bdfbf1e9","year":1999},"citing_paper":{"arxiv_id":"2608.01045","last_updated":"2026-08-02T07:02:26Z","snapshot_observed_at":"2026-08-06T16:23:07.457635Z","submitted_at":"2026-08-02T07:02:26Z","title":"Forbench: Symbolic Simulation Helps Make Your Testbench More Formal","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-06T00:38:38.912923Z"},"links":{"citing_paper":"/paper/2608.01045"},"observation_digest":"sha256:2bb7d6a8ca54ddad521b96613a135f7c9086a5690b7f57bc047aeeacba48f11a","observation_id":"72020983-da14-4e23-96a2-a9012c001474","resolution":{"observed_at":"2026-08-06T00:38:43.330977Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T00:38:42.791898Z","title":"Pono: a flexible and extensible smt-based model checker","venue":null,"work_id":"e5a49634-f659-4f49-89ee-10c8522a700b","year":2021},"citing_paper":{"arxiv_id":"2608.01045","last_updated":"2026-08-02T07:02:26Z","snapshot_observed_at":"2026-08-06T16:23:07.457635Z","submitted_at":"2026-08-02T07:02:26Z","title":"Forbench: Symbolic Simulation Helps Make Your Testbench More Formal","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-06T00:38:39.035860Z"},"links":{"citing_paper":"/paper/2608.01045"},"observation_digest":"sha256:cb8f9dc69038de4c4e0f13275f05b065150ff64f15f5b031ca241aab37003155","observation_id":"f30752a9-3465-4c4b-895a-273c383eff1d","resolution":{"observed_at":"2026-08-06T00:38:42.986510Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T00:38:42.441479Z","title":"Kroening and M","venue":null,"work_id":"54d85989-cbea-4e65-902d-43dce9566725","year":2022},"citing_paper":{"arxiv_id":"2608.01045","last_updated":"2026-08-02T07:02:26Z","snapshot_observed_at":"2026-08-06T16:23:07.457635Z","submitted_at":"2026-08-02T07:02:26Z","title":"Forbench: Symbolic Simulation Helps Make Your Testbench More Formal","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-06T00:38:39.201962Z"},"links":{"citing_paper":"/paper/2608.01045"},"observation_digest":"sha256:11155bbd298f83b2c556f09cac6f8eeceaf2396a01a021ae7cd9160c4e560cd5","observation_id":"0719f1ad-4495-4a58-bfb2-1c46d1d514b4","resolution":{"observed_at":"2026-08-06T00:38:42.621421Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T00:38:42.177747Z","title":"Stsearch: State tracing-based search heuristics for rtl validation","venue":null,"work_id":"42b2d0d6-7e8b-4b4a-9c01-75c85ce77474","year":2023},"citing_paper":{"arxiv_id":"2608.01045","last_updated":"2026-08-02T07:02:26Z","snapshot_observed_at":"2026-08-06T16:23:07.457635Z","submitted_at":"2026-08-02T07:02:26Z","title":"Forbench: Symbolic Simulation Helps Make Your Testbench More Formal","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-06T00:38:39.320217Z"},"links":{"citing_paper":"/paper/2608.01045"},"observation_digest":"sha256:6e8607d7331ed1bde6ef987607d19f5832b9021582a081388b6e423082ca487d","observation_id":"c81ac33c-56be-4dab-b151-9c077ffa7ece","resolution":{"observed_at":"2026-08-06T00:38:42.305065Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T00:38:41.879458Z","title":"Hot-fv: A semi-formal test generation framework for rtl functional coverage using warm starting states","venue":null,"work_id":"0697f31c-bb7a-4e86-ac81-c19ef42ee5cd","year":2025},"citing_paper":{"arxiv_id":"2608.01045","last_updated":"2026-08-02T07:02:26Z","snapshot_observed_at":"2026-08-06T16:23:07.457635Z","submitted_at":"2026-08-02T07:02:26Z","title":"Forbench: Symbolic Simulation Helps Make Your Testbench More Formal","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-06T00:38:39.444576Z"},"links":{"citing_paper":"/paper/2608.01045"},"observation_digest":"sha256:9920f00252629359f0fac83a59e2f4d77e4950a109a51ebfde26293330a5f9d7","observation_id":"13f64132-d978-478c-bde5-66c36d60e75c","resolution":{"observed_at":"2026-08-06T00:38:42.027396Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T00:38:41.540344Z","title":"MicroRV32","venue":null,"work_id":"4f464958-ee92-476e-b519-54235b154ade","year":null},"citing_paper":{"arxiv_id":"2608.01045","last_updated":"2026-08-02T07:02:26Z","snapshot_observed_at":"2026-08-06T16:23:07.457635Z","submitted_at":"2026-08-02T07:02:26Z","title":"Forbench: Symbolic Simulation Helps Make Your Testbench More Formal","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-06T00:38:39.566853Z"},"links":{"citing_paper":"/paper/2608.01045"},"observation_digest":"sha256:5eb16c8764986691fc449698de684319dc6a5341087221b79be30cec8a16ce3b","observation_id":"72a12c9e-b2d8-4a49-a4a0-344dcf0c3826","resolution":{"observed_at":"2026-08-06T00:38:41.681605Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2608.01045","last_updated":"2026-08-02T07:02:26Z","latest_version":1,"primary_category":"cs.AR","snapshot_observed_at":"2026-08-06T16:23:07.457635Z","submitted_at":"2026-08-02T07:02:26Z","title":"Forbench: Symbolic Simulation Helps Make Your Testbench More Formal"},"reference_resolution":{"displayed":48,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":3,"verified_exact":3,"verified_fuzzy":42},"total_outbound_references":48},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"thesis":"As of 6 August 2026, this Paper Citation Record lists 48 of 48 outbound references and 0 inbound Pith citation observations for arXiv:2608.01045."}