Functional Verification of Programmable Embedded Architectures

DOI10.1007/B137514zbMath1087.68009OpenAlexW4237136126MaRDI QIDQ3377010

Nikil Dutt, Prabhat K. Mishra

Publication date: 27 March 2006

Full work available at URL: https://doi.org/10.1007/b137514

zbMATH Keywords

Validation of programmable architectures

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Mathematical problems of computer architecture (68M07)

Uses Software

• ISDL

This page was built for publication: Functional Verification of Programmable Embedded Architectures