3725 search results - page 188 / 745 » DLP System Description |
108
click to vote
DATE
2006
IEEE
16 years 18 days ago
2006
IEEE
In recent years, Assertion-Based Verification is being widely accepted as a key technology in the pre-silicon validation of system-on-chip(SOC) designs. The System Verilog langua...
196
click to vote
DATE
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper we present the results of a set of experiments we conducted in order to evaluate the viability of the behavioral synthesis, relying on the tools available at the mom...
201
click to vote
APN
1999
Springer
15 years 10 months ago
1999
Springer
Discrete event dynamic systems may have extremely large state spaces. For their analysis, it is usual to relax the description by removing the integrality constraints. Applying thi...
149
click to vote
HYBRID
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. Time progress conditions in hybrid systems are usually speci ed in terms of invariants, predicates characterizing states where time can continuously progress or dually, d...
143
click to vote
LISA
1994
15 years 7 months ago
1994
This paper presents a machine configuration system which stores all configuration parameters in a central ``database''. The system is dynamic in the sense that machines ...