409 search results - page 14 / 82 » Functional Validation of Programmable Architectures |
FAC
2008
13 years 8 months ago
2008
This paper presents a formal model and a systematic approach to the validation of communication tures at a high level of abstraction. This model is described mathematically by a fu...
DAC
1999
ACM
14 years 9 months ago
1999
ACM
A number of researchers have proposed using digital marks to provide ownership identification for intellectual property. Many of these techniques share three specific weaknesses: ...
ICPP
1999
IEEE
14 years 1 months ago
1999
IEEE
This paper describes the challenges presented by singlechip parallel media processors (PMPs). These machines integrate multiple parallel function units, instruction execution, and...
ICFP
2008
ACM
14 years 8 months ago
2008
ACM
This paper presents a semantic space profiler for parallel functional programs. Building on previous work in sequential profiling, our tools help programmers to relate runtime res...
VLSID
2000
IEEE
14 years 10 days ago
2000
IEEE
We address the problem of verifying the correctness of pre-silicon models of a microprocessor. We touch on the latest advances in this area by considering two different aspects of...