6800 search results - page 698 / 1360 » Testing with Functions as Specifications |
182
click to vote
TSD
2001
Springer
15 years 11 months ago
2001
Springer
The problem of automatic text segmentation is subcategorized into two different problems: thematic segmentation into rather large topically selfcontained sections and splitting int...
163
click to vote
ISPD
1999
ACM
15 years 11 months ago
1999
ACM
This paper presents a methodology to analyze signal integrity such as power voltage drop and clock skew in early stages of design, more specifically, when RTL-design and early flo...
183
click to vote
HCW
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper describes a simulation tool for the analysis of complex jobs described in the form of task graphs. The simulation procedure relies on the PN-based topological represent...
204
click to vote
ICCAD
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper describes a method of synthesis of asynchronous circuits with relative timing. Asynchronous communication between gates and modules typically utilizes handshakes to ens...
181
click to vote
ICCAD
1999
IEEE
15 years 11 months ago
1999
IEEE
We present a method for optimizing and automating component and transistor sizing for CMOS LC oscillators. We observe that the performance measures can be formulated as posynomial...