2488 search results - page 124 / 498 » An improvement in formal verification |
ISQED
2006
IEEE
15 years 6 months ago
2006
IEEE
The continuing VLSI technology scaling leads to increasingly significant power supply fluctuations, which need to be modeled accurately in circuit design and verification. Meanwhi...
77
Voted
ITC
2003
IEEE
15 years 6 months ago
2003
IEEE
This paper describes a system for performing high precision IDDQ measurement of CMOS ICs having a large peak current during operation. Although the measurement rate is at a low sp...
113
Voted
TCAD
2008
15 years 21 days ago
2008
Due to the increasing abstraction gap between the initial system model and a final implementation, the verification of the respective models against each other is a formidable task...
102
Voted
ASPDAC
2007
ACM
15 years 4 months ago
2007
ACM
- In this paper we showed the signal degradation parts in High-speed channel of FB-DiMM system. And we also showed possible countermeasure. For the verification propose and also fo...
124
Voted
SP
2002
IEEE
15 years 13 days ago
2002
IEEE
We describe a method for finding security flaws in source code by way of static analysis. The method is notable because it allows a user to specify a wide range of security proper...