1151 search results - page 72 / 231 » Automatic Generation of Complex Properties for Hardware Desi... |
106
click to vote
CAV
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. While effective methods for bit-level verification of low-level properties exist, system-level properties that entail reasoning about a significant part of the design p...
122
click to vote
SASP
2008
IEEE
15 years 10 months ago
2008
IEEE
— Matrix inversion is a common function found in many algorithms used in wireless communication systems. As FPGAs become an increasingly attractive platform for wireless communic...
132
click to vote
DATE
2008
IEEE
15 years 10 months ago
2008
IEEE
The placement of passive components significantly influences the EMI behavior of power electronic systems. Particularly filter components are affected by magnetic field coupling r...
115
click to vote
SAMOS
2007
Springer
15 years 10 months ago
2007
Springer
Client-side diversification led the video-coding community to develop scalable video-codecs supporting efficient decoding at varying quality levels. This scalability has a lot of...
122
click to vote
ICCD
2001
IEEE
16 years 28 days ago
2001
IEEE
CMOS Phase-locked loops (PLL) are ubiquitous in RF and mixed-signal integrated circuits. PLLs are very sensitive to noise fluctuations on the power and ground rails. In this paper...