3742 search results - page 130 / 749 » On the Use of Formal Techniques for Validation |
158
click to vote
KSEM
2007
Springer
16 years 15 days ago
2007
Springer
After the concept of industry cluster was tangibly applied in many countries, SMEs trended to link to each other to maintain their competitiveness in the market. The major key succ...
149
click to vote
DATE
2005
IEEE
15 years 12 months ago
2005
IEEE
Complex applications implemented as Systems on Chip (SoCs) demand extensive use of system level modeling and validation. Their implementation gathers a large number of complex IP ...
167
click to vote
GLVLSI
2000
IEEE
15 years 10 months ago
2000
IEEE
We present a novel global routing and cross-point assignment methodology for sea-of-gates (SOG) designs. Using the proposed congestion driven spanning trees (CDST), and continuous...
162
click to vote
GRAPHICSINTERFACE
2003
15 years 7 months ago
2003
We present a critique of language-based modelling for text input research, and propose an alternative inputbased approach. Current language-based statistical models are derived fr...
138
click to vote
FMCAD
2008
Springer
15 years 8 months ago
2008
Springer
Abstract-- We consider the problem of optimal netlist simplification in the presence of constraints. Because constraints restrict the reachable states of a netlist, they may enhanc...