National Science Foundation

Organization

The National Science Foundation is identified in the provided evidence as a partial supporter of the 2018 Carnegie Mellon University technical report "Formal Verification of Pipelined Y86-64 Microprocessors with UCLID5" under STARSS grant 1525527.

First seen 5/25/2026

Last seen 5/26/2026

Evidence 1 chunks

Wiki v1

WIKI

Overview

The National Science Foundation is cited in the provided evidence as a funding/support organization for the technical report "Formal Verification of Pipelined Y86-64 Microprocessors with UCLID5" by Randal E. Bryant, published as CMU-CS-18-122 in October 2018 by Carnegie Mellon University's School of Computer Science. The report states that the work was supported in part by the National Science Foundation under STARSS grant 1525527.

Supported work

READ FULL ARTICLE →

NEIGHBORHOOD

No graph connections found for this entity yet. It may appear in future ingestion runs.

explore full graph →

RELATIONSHIPS

1 connections

UCLID5 mentions → 90% 1e

The National Science Foundation provided funding support for the UCLID5 verification work.

LINKED ENTITIES

1 links

Formal Verification of Pipelined Y86-64 Microprocessors with UCLID5 FUNDED Extracted graph relationship

CITATIONS

3 sources

3 citations — click to collapse

[1] The National Science Foundation supported the work reported in "Formal Verification of Pipelined Y86-64 Microprocessors with UCLID5" under STARSS grant 1525527. Formal Verification of Pipelined Y86-64 Microprocessors with UCLID5

[2] The report is a 2018 Carnegie Mellon University School of Computer Science technical report authored by Randal E. Bryant and titled "Formal Verification of Pipelined Y86-64 Microprocessors with UCLID5." Formal Verification of Pipelined Y86-64 Microprocessors with UCLID5

[3] The supported work used UCLID5 to verify variants of the Y86-64 pipelined microprocessor and reported success in showing equivalence with a sequential reference model for all possible programs. Formal Verification of Pipelined Y86-64 Microprocessors with UCLID5