Center for Embedded Computer Systems, University of California, Irvine
OrganizationFirst seen 8/1/2026
Last seen 8/1/2026
Evidence 1 chunks
NEIGHBORHOOD
No graph connections found for this entity yet. It may appear in future ingestion runs.
explore full graph →RELATIONSHIPS
3 connections Architecture Description Language driven Functional Test Program Generation for Microprocessors using SMV ← published by 100% 1e
The paper is published as a CECS technical report from UC Irvine
Prabhat Mishra is affiliated with the Center for Embedded Computer Systems at UC Irvine
Nikil Dutt is affiliated with the Center for Embedded Computer Systems at UC Irvine