( en | de | ru )

 

Disambiguierung von "Ashar, Pranav"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Fast functional simulation using branching programs.

, und . ICCAD, Seite 408-412. IEEE Computer Society / ACM, (1995)

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.

Ashar Javed

Pranav Tendulkar

Pranav Oberoi

Mohamed Ashari

Siamak Asharin-Fard

 

Weitere Publikationen von Autoren mit dem selben Namen

Exploiting Retiming in a Guided Simulation Based Validation Methodology., , und . CHARME, Volume 1703 von Lecture Notes in Computer Science, Seite 350-353. Springer, (1999)Verification of Embedded Memory Systems using Efficient Memory Modeling., , und . DATE, Seite 1096-1101. IEEE Computer Society, (2005)Combining strengths of circuit-based and CNF-based algorithms for a high-performance SAT solver., , , , und . DAC, Seite 747-750. ACM, (2002)Property-specific witness graph generation for guided simulation., , , , , und . DATE, Seite 799. IEEE Computer Society, (2001)Partition-Based Decision Heuristics for Image Computation Using SAT and BDDs., , , , und . ICCAD, Seite 286-292. IEEE Computer Society, (2001)Panel: Assertion-Based Verification -What's the Big Deal?, , , , , , und . HLDVT, Seite 183. IEEE Computer Society, (2006)An Edge-endpoint-based Configurable Hardware Architecture for VLSI Layout Design Rule Checking., , und . VLSI Design, 10 (3): 249-263 (2000)Efficient breadth-first manipulation of binary decision diagrams., und . ICCAD, Seite 622-627. IEEE Computer Society / ACM, (1994)Fast functional simulation using branching programs., und . ICCAD, Seite 408-412. IEEE Computer Society / ACM, (1995)Scheduling Techniques to Enable Power Management., , , und . DAC, Seite 349-352. ACM Press, (1996)