PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Paruthi, Viresh"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Exploiting suspected redundancy without proving it.

, , , und . DAC, Seite 463-466. ACM, (2005)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Keine Personen gefunden für den Autorennamen Paruthi, Viresh
Eine Person hinzufügen mit dem Namen Paruthi, Viresh
 

Weitere Publikationen von Autoren mit dem selben Namen

Hybrid verification of a hardware modular reduction engine., , , , , und . FMCAD, Seite 207-214. FMCAD Inc., (2011)Functional verification of the POWER4 microprocessor and POWER4 multiprocessor system., , , , , , , , , und 15 andere Autor(en). IBM Journal of Research and Development, 46 (1): 53-76 (2002)Circuit-based Boolean Reasoning., , und . DAC, Seite 232-237. ACM, (2001)Exploiting suspected redundancy without proving it., , , und . DAC, Seite 463-466. ACM, (2005)Automatic data path abstraction for verification of large scale designs., , und . ICCD, Seite 192-194. (1998)Designer-level verification: an industrial experience story., , , , , , , , , und 1 andere Autor(en). DATE, Seite 410-411. ACM, (2015)Formal verification of error correcting circuits using computational algebraic geometry., , , , und . FMCAD, Seite 141-148. IEEE, (2012)Efficient Symbolic Simulation via Dynamic Scheduling, Don't Caring, and Case Splitting., , und . CHARME, Volume 3725 von Lecture Notes in Computer Science, Seite 114-128. Springer, (2005)Scalable Automated Verification via Expert-System Guided Transformations., , , , und . FMCAD, Volume 3312 von Lecture Notes in Computer Science, Seite 159-173. Springer, (2004)Verification of Galois field based circuits by formal reasoning based on computational algebraic geometry., , , , , und . Formal Methods in System Design, 45 (2): 189-212 (2014)