Auflistung nach Autor "Nalla, Pradeep Kumar"

Sortiert nach: Sortierung: Ergebnisse:

  • Efficient Distributed Bounded Property Checking 
    Nalla, Pradeep Kumar (2008)
    Today, verification of industrial size designs like multi-million gate ASICs (Application Specific Integrated Circuit) and SoC (System-on-a-Chip) processors consumes up to 75%of the design effort. The trend to augment ...