27913 search results - page 239 / 5583 » Simulation |
166
click to vote
DFT
2005
IEEE
16 years 6 days ago
2005
IEEE
This paper presents a new test methodology which utilizes the Programming Language Interface (PLI) for performing fault simulation of combinational or full scan Intellectual Prope...
154
click to vote
ICTAI
2005
IEEE
16 years 5 days ago
2005
IEEE
Lotos is the ISO formal specification language for describing and verifying concurrent and distributed systems. The simulation or execution of complex Lotos specifications is, h...
152
click to vote
PADS
2005
ACM
16 years 4 days ago
2005
ACM
— In this paper, a new event scheduling mechanism XEQ and a new rollback procedure rb-messages are proposed for use in optimistic logic simulation. We incorporate both of these t...
154
click to vote
EUROPAR
2005
Springer
16 years 3 days ago
2005
Springer
In this paper we introduce INSEE, an environment to help in the design of interconnection networks for parallel computing systems. It contains two basic modules: a system to genera...
165
click to vote
PATMOS
2005
Springer
16 years 2 days ago
2005
Springer
As the number of metal layers and the frequency of VLSI continue to increase, the voltage droop on both the package and vias is becoming more pronounced. This paper analyzes the nu...