SoC verification methodology of minimal OpenRISC

AIP conference proceedings 2026

View at publisher
Authors: A. Arunraja, R. Kishorekumar, H. P. Chandan, L. Sindhu
DOI: 10.1063/5.0341529
Cited by: 1
References: 16

Fields of Study & Subjects

Embedded Systems Design Techniques Formal Methods in Verification VLSI and Analog Circuit Testing

Publication details

Journal / source
AIP conference proceedings
Publisher
AIP Publishing
Volume
3427
Pages
020027–020027
Publication date
1 January 2026