3 search results - page 1 / 1 » An Automata-Theoretic Approach to Hardware Software Co-verif... |
FASE
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. In this paper, we present an automata-theoretic approach to Hardware/Software (HW/SW) co-verification. We designed a co-specification framework describing HW/SW systems; ...
EUROMICRO
2007
IEEE
13 years 9 months ago
2007
IEEE
In component-based hardware/software co-verification, properties of an embedded system are established from properties of its hardware and software components. A major challenge i...
DAC
1999
ACM
13 years 9 months ago
1999
ACM
We present our practical experience in the modeling and integration of cycle/phase-accurate instruction set architecture (ISA) models of digital signal processors (DSPs) with othe...