1342 search results - page 120 / 269 » MEMS Design And Verification |
185
click to vote
JFP
2006
15 years 6 months ago
2006
This paper introduces reFLect, a functional programming language with reflection features intended for applications in hardware design and verification. The reFLect language is st...
170
click to vote
ISCAS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents a low-cost, single-cycle floating-point unit developed for digital audio processing applications. In the unit, the serial steps of floating-point operations ar...
140
click to vote
ASPDAC
2007
ACM
15 years 10 months ago
2007
ACM
- Two challenges for the accurate prediction of GHz CMOS analog/RF building blocks are presented. Challenging the usage of new compact MOSFET models enhances the simulation accurac...
134
click to vote
APSEC
2004
IEEE
15 years 10 months ago
2004
IEEE
To formalize a software process, its important aspects must be extracted as a model. Many processes are used repeatedly, and the ability to automate a process is also desired. One...
193
click to vote
WOA
2010
15 years 4 months ago
2010
Abstract. This is a position paper reporting the motivations, the starting point and the guidelines that characterise the MERCURIO5 project proposal, submitted to MIUR PRIN 20096 ....