27913 search results - page 239 / 5583 » Simulation |
DFT
2005
IEEE
15 years 8 months 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...
108
Voted
ICTAI
2005
IEEE
15 years 8 months 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...
111
Voted
PADS
2005
ACM
15 years 8 months 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...
107
click to vote
EUROPAR
2005
Springer
15 years 8 months 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...
115
Voted
PATMOS
2005
Springer
15 years 8 months 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...