Sciweavers

6111 search results - page 197 / 1223
» Time, Hardware, and Uniformity
Sort
View
CAV
2007
Springer
227views Hardware» more  CAV 2007»
14 years 2 months ago
The TASM Toolset: Specification, Simulation, and Formal Verification of Real-Time Systems
Abstract. In this paper, we describe the features of the Timed Abstract State Machine toolset. The toolset implements the features of the Timed Abstract State Machine (TASM) langua...
Martin Ouimet, Kristina Lundqvist
ATS
2001
IEEE
137views Hardware» more  ATS 2001»
14 years 2 months ago
Compaction Schemes with Minimum Test Application Time
Testing embedded cores in a System-on-a-chip necessitates the use of a Test Access Mechanism, which provides for transportation of the test data between the chip and the core I/Os...
Ozgur Sinanoglu, Alex Orailoglu
ASPDAC
2005
ACM
92views Hardware» more  ASPDAC 2005»
14 years 22 days ago
Sleep transistor sizing using timing criticality and temporal currents
— Power gating is a circuit technique that enables high performance and low power operation. One of the challenges in power gating is sizing the sleep transistor which is used to...
Anand Ramalingam, Bin Zhang, Anirudh Devgan, David...
ASPDAC
2012
ACM
288views Hardware» more  ASPDAC 2012»
12 years 6 months ago
Automatic timing granularity adjustment for host-compiled software simulation
—Host-compiled simulation has been widely adopted as a practical approach for fast and high-level evaluation of complex software-intensive systems at early stages of the design p...
Parisa Razaghi, Andreas Gerstlauer
ICCD
2006
IEEE
119views Hardware» more  ICCD 2006»
14 years 7 months ago
FA-STAC: A Framework for Fast and Accurate Static Timing Analysis with Coupling
— This paper presents a framework for fast and accurate static timing analysis considering coupling. With technology scaling to smaller dimensions, the impact of coupling induced...
Debasish Das, Ahmed Shebaita, Hai Zhou, Yehea I. I...