| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| 3 |      | Alexander Kamkin: Simulation-based hardware verification with time-abstract models. EWDTS 2011: 43-47 |
| 2008 | ||
| 2 | | Alexander Kamkin: Coverage-directed verification of microprocessor units based on cycle-accurate contract specifications. EWDTS 2008: 84-87 |
| 2006 | ||
| 1 | | Alexander Kamkin: The UniTESK Approach to Specification-Based Validation of Hardware Designs. ISoLA 2006: 60-66 |
Data released under the ODC-BY 1.0 license — See also our legal information page