Sciweavers

435 search results - page 47 / 87
» Timing analysis of asynchronous circuits using timed automat...
Sort
View
75
Voted
APSEC
2005
IEEE
15 years 6 months ago
Model Checking Interrupt-Dependent Software
Embedded control programs are hard to analyse because their behaviour depends on how they interact with hardware devices. In particular, embedded code typically uses interrupts to...
Colin J. Fidge, Phil Cook
115
Voted
FPGA
2010
ACM
182views FPGA» more  FPGA 2010»
14 years 10 months ago
A comprehensive approach to modeling, characterizing and optimizing for metastability in FPGAs
Metastability is a phenomenon that can cause system failures in digital circuits. It may occur whenever signals are being transmitted across asynchronous or unrelated clock domain...
Doris Chen, Deshanand Singh, Jeffrey Chromczak, Da...
99
Voted
DATE
2010
IEEE
171views Hardware» more  DATE 2010»
15 years 5 months ago
Digital statistical analysis using VHDL
—Variations of process parameters have an important impact on reliability and yield in deep sub micron IC technologies. One methodology to estimate the influence of these effects...
Manfred Dietrich, Uwe Eichler, Joachim Haase
EURODAC
1994
IEEE
209views VHDL» more  EURODAC 1994»
15 years 4 months ago
MOS VLSI circuit simulation by hardware accelerator using semi-natural models
- The accelerator is destined to circuit-level simulation of digital and analog/digital MOS VLSI'c containing of up to 100 thousand transistors (with 16 Mb RAM host-machine). ...
Victor V. Denisenko
MR
2002
63views Robotics» more  MR 2002»
15 years 4 days ago
Transient thermal analysis of multilayered structures using Green's functions
This paper presents an approach to the analysis of transient thermal states in electronic circuits using an analytical solution of the heat equation. Fully three-dimensional analy...
Marcin Janicki, Gilbert De Mey, Andrzej Napieralsk...