7580 search results - page 454 / 1516 » Prometheus design tool |
164
click to vote
FDL
2005
IEEE
16 years 14 days ago
2005
IEEE
In order to address the complexities of SoC design, rigorous development methods and automated tools are required. This paper presents an approach to formal verification using mod...
179
click to vote
CODES
2000
IEEE
15 years 11 months ago
2000
IEEE
In current design practice synthesis tools play a key role, letting designers to concentrate on the specificationof the system being designed by carrying out repetitive tasks such...
170
click to vote
CODES
1997
IEEE
15 years 11 months ago
1997
IEEE
The Pia hardware-software co-simulator provides substantial speedups over traditional co-simulation methods by permitting dynamic changes in the level of detail when simulating co...
120
Voted
CHI
1997
ACM
15 years 11 months ago
1997
ACM
This paper describes a project that was carried out by Philips Corporate Design (PCD) to explore ideas for products and services, which could be part of our future in the year 200...
156
Voted
DAC
1996
ACM
15 years 11 months ago
1996
ACM
Abstract: Exploration at the earliest stages of the design process is an integral component of effective low-power design. Nevertheless, superficial high-level analyses with insuff...