Sciweavers

5525 search results - page 95 / 1105
» Verification of Model Transformations
Sort
View
VLSID
2007
IEEE
112views VLSI» more  VLSID 2007»
16 years 3 months ago
Synthesizing "Verification Aware" Models: Why and How?
Malay K. Ganai, Akira Mukaiyama, Aarti Gupta, Kazu...
93
Voted
ICCAD
2006
IEEE
119views Hardware» more  ICCAD 2006»
16 years 4 days ago
Automatic memory reductions for RTL model verification
Panagiotis Manolios, Sudarshan K. Srinivasan, Daro...
KDD
2009
ACM
161views Data Mining» more  KDD 2009»
15 years 10 months ago
On formal models for social verification
Chien-Ju Ho, Kuan-Ta Chen
97
Voted
DATE
2009
IEEE
101views Hardware» more  DATE 2009»
15 years 10 months ago
Speeding up model checking by exploiting explicit and hidden verification constraints
Gianpiero Cabodi, Paolo Camurati, Luz Garcia, Marc...