179 search results - page 31 / 36 » Automatic High Level Assertion Generation and Synthesis for ... |
EICS
2010
ACM
14 years 16 days ago
2010
ACM
Web applications such as web-based email, spreadsheets and form filling applications have become ubiquitous. However, many of the tasks that users try to accomplish with such web ...
FDL
2005
IEEE
14 years 1 months ago
2005
IEEE
Embedded system designs and simulations become tedious and time consuming due to the complexity of modern applications. Thus, languages allowing high level description, such as Sy...
CASES
2008
ACM
13 years 9 months ago
2008
ACM
Although CMOS feature size scaling has been the source of dramatic performance gains, it has lead to mounting reliability concerns due to increasing power densities and on-chip te...
IJVR
2006
13 years 7 months ago
2006
In this paper, we will present an overview of existing research in the vast area of IVH systems. We will also present our ongoing work on improving the expressive capabilities of I...
SAMOS
2004
Springer
14 years 24 days ago
2004
Springer
Today’s Application Specific Instruction-set Processor (ASIP) design methodology often employs centralized Architecture Description Language (ADL) processor models, from which s...