3130 search results - page 142 / 626 » Design Correctness of Digital Systems |
113
Voted
DAC
1994
ACM
15 years 7 months ago
1994
ACM
In this paper, we present a design methodology management system, which assists designers in selecting a suitable design process and invoking the selected sequence of tools on the...
113
Voted
TSP
2010
14 years 10 months ago
2010
The performance of many very high bit rate digital subscriber line (VDSL) systems is limited by the effects of crosstalk among the wires in a bundle. For the downstream, a precoder...
107
click to vote
ISCAS
2003
IEEE
15 years 9 months ago
2003
IEEE
In modern System-on-Chip (SoC) designs verification becomes the major bottleneck. Since by using state-of-theart techniques complete designs cannot be fully formally verified, it ...
130
Voted
ICECCS
2007
IEEE
15 years 7 months ago
2007
IEEE
Modern software applications ranging from enterprise to embedded systems are becoming increasingly complex, and require very high levels of dependability assurance. The most effec...
134
Voted
IPPS
1998
IEEE
15 years 8 months ago
1998
IEEE
We present the design of a computation engine for a real-time laparoscopic surgery simulator. Since this simulator requires realistic real-time and real-world behaviour, a physica...