Sciweavers

6111 search results - page 853 / 1223
» Time, Hardware, and Uniformity
Sort
View
ICCAD
1999
IEEE
105views Hardware» more  ICCAD 1999»
15 years 11 months ago
Noise analysis of non-autonomous radio frequency circuits
In this paper we consider the important problem of noise analysis of non-autonomous nonlinear RF circuits in presence of input signal phase noise. We formulate this problem as a s...
Amit Mehrotra, Alberto L. Sangiovanni-Vincentelli
ICCAD
1999
IEEE
89views Hardware» more  ICCAD 1999»
15 years 11 months ago
A bipartition-codec architecture to reduce power in pipelined circuits
This paper proposes a new bipatition-codec architecture that may reduce power consumption of pipelined circuits. We treat each output value of a pipelined circuit as one state of ...
Shanq-Jang Ruan, Rung-Ji Shang, Feipei Lai, Shyh-J...
ICCD
1999
IEEE
93views Hardware» more  ICCD 1999»
15 years 11 months ago
Using an Embedded Processor for Efficient Deterministic Testing of Systems-on-a-Chip
If a system-on-a-chip (SOC) contains an embedded processor, this paper presents a novel approach for using the processor to aid in testing the other components of the SOC. The bas...
Abhijit Jas, Nur A. Touba
197
Voted
ICECCS
1999
IEEE
140views Hardware» more  ICECCS 1999»
15 years 11 months ago
Practical Considerations in Protocol Verification: The E-2C Case Study
We report on our efforts to formally specify and verify a new protocol of the E-2C Hawkeye Early Warning Aircraft. The protocol, which is currently in test at Northrop Grumman, su...
Yifei Dong, Scott A. Smolka, Eugene W. Stark, Step...
201
Voted
ICECCS
1999
IEEE
88views Hardware» more  ICECCS 1999»
15 years 11 months ago
UML + ROOM as a Standard ADL?
Designing a software system's architecture properly is one of the most important tasks of any software engineering project. Nevertheless there exists no common definition of ...
Bernhard Rumpe, M. Schoenmakers, Ansgar Radermache...