109 search results - page 11 / 22 » A Methodology for Large-Scale Hardware Verification |
101
click to vote
DT
2006
14 years 9 months ago
2006
process: Designers must define higher abstraction levels that allow system modeling. They must use description languages that handle both hardware and software components to descri...
DATE
1999
IEEE
15 years 1 months ago
1999
IEEE
Software programming languages, such as C/C++, have been used as means for specifying hardware for quite a while. Different design methodologies have exploited the advantages of f...
DATE
2003
IEEE
15 years 2 months ago
2003
IEEE
The design of high performance multimedia systems in a short time force us to use IP's blocks in many designs. However, their correct integration in a design implies more com...
ISCAS
2003
IEEE
15 years 2 months ago
2003
IEEE
To handle today’s complexity, modern circuits and systems be specified at a high level of abstraction. Recently, SystemC has been proposed as a language that allows a fast on o...
163
click to vote
GIS
2008
ACM
15 years 10 months ago
2008
ACM
In this paper, we discuss an application of spatial data mining to predict pedestrian flow in extensive road networks using a large biased sample. Existing out-of-the-box techniqu...