1219 search results - page 122 / 244 » Verification of Equivalent-Results Methods |
78
Voted
ICCAD
2002
IEEE
16 years 11 days ago
2002
IEEE
The challenges for developing an ESD (Electro-static Discharge) layout extractor originate from unconventional layout patterns of ESD protection devices, parasitic ESD device extr...
123
click to vote
ICB
2007
Springer
15 years 9 months ago
2007
Springer
Although fingerprint verification systems reached a high degree of accuracy, it has been recently shown that they can be circumvented by “fake fingers”, namely, fingerprint ima...
122
Voted
ICCAD
1999
IEEE
15 years 7 months ago
1999
IEEE
In this paper, an internal design model called FunState (functions driven by state machines) is presented that enables the representation of different types of system components a...
135
click to vote
CP
2006
Springer
15 years 7 months ago
2006
Springer
The paper presents a method for generating solutions of a constraint satisfaction problem (CSP) uniformly at random. The main idea is to express the CSP as a factored probability d...
116
Voted
FORTE
1990
15 years 4 months ago
1990
This paper describes a decision procedure for bisimulation-based equivalence relations between labeled transition systems. The algorithm usually performed in order to verify bisim...