1342 search results - page 35 / 269 » MEMS Design And Verification |
ISCAS
2003
IEEE
15 years 3 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...
FMCAD
2006
Springer
15 years 1 months ago
2006
Springer
In this paper we formally specify and verify an implementation of the IEEE802.11a standard physical layer based OFDM (Orthogonal Frequency Division Multiplexing) modem using the HO...
FMCAD
2009
Springer
15 years 4 months ago
2009
Springer
ACSAC
2008
IEEE
15 years 4 months ago
2008
IEEE
DATE
2008
IEEE
15 years 4 months ago
2008
IEEE