Semiconductor Research Corporation
OrganizationSemiconductor Research Corporation is cited in the provided evidence as a partial supporter of Randal E. Bryant’s 2018 Carnegie Mellon University technical report, “Formal Verification of Pipelined Y86-64 Microprocessors with UCLID5,” under contract 2637.001.
First seen 5/25/2026
Last seen 5/26/2026
Evidence 1 chunks
Wiki v1
WIKI
Overview
Semiconductor Research Corporation is identified in the available evidence as a funding organization for the 2018 Carnegie Mellon University technical report “Formal Verification of Pipelined Y86-64 Microprocessors with UCLID5” by Randal E. Bryant. The report states that the work was supported, in part, by Semiconductor Research Corporation under contract 2637.001.[1]
Supported technical work
NEIGHBORHOOD
No graph connections found for this entity yet. It may appear in future ingestion runs.
explore full graph →RELATIONSHIPS
1 connectionsThe Semiconductor Research Corporation provided funding support for the UCLID5 verification work.
CITATIONS
3 sources3 citations — click to collapse
[1] Semiconductor Research Corporation partially supported the report under contract 2637.001. Formal Verification of Pipelined Y86-64 Microprocessors with UCLID5
[2] The report concerns formal verification of a Y86-64 CISC processor styled after Intel64 using the UCLID5 verifier, and describes automatic translation of control logic into UCLID5 with modular processor models. Formal Verification of Pipelined Y86-64 Microprocessors with UCLID5
[3] The report’s goals were to check the correctness of the processor designs and evaluate UCLID5 for hardware modeling and verification; it reports that the pipeline processors match the sequential reference model for all possible programs. Formal Verification of Pipelined Y86-64 Microprocessors with UCLID5