( en | de | ru )

 

Disambiguierung von "Wang, Li-C."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Using 2-domain partitioned OBDD data structure in an enhanced symbolic simulator.

, , , und . ACM Trans. Design Autom. Electr. Syst., 10 (4): 627-650 (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.

Li Wang

Li Wang

Wang Li

Li Wang

Li Wang

 

Weitere Publikationen von Autoren mit dem selben Namen

On Efficiently Producing Quality Tests for Custom Circuits in PowerPCTM Microprocessors., und . J. Electron. Test., 16 (1-2): 121-130 (2000)Enhanced Symbolic Simulation for Functional Verification of Embedded Array Systems., , , , und . Des. Autom. Embed. Syst., 8 (2-3): 173-188 (2003)Multivariate outlier modeling for capturing customer returns - How simple it can be., , , und . IOLTS, Seite 164-169. IEEE, (2014)Novel test analysis to improve structural coverage - A commercial experiment., , , und . VLSI-DAT, Seite 1-4. IEEE, (2013)Discovering Interesting Plots in Production Yield Data Analytics., , , und . CoRR, (2018)Speedpath prediction based on learning from a small set of examples., , , und . DAC, Seite 217-222. ACM, (2008)Design-Silicon Timing Correlation A Data Mining Perspective., , und . DAC, Seite 384-389. IEEE, (2007)Automatic Generation of Assertions for Formal Verification of PowerPC Microprocessor Arrays Using Symbolic Trajectory Evaluation., , und . DAC, Seite 534-537. ACM Press, (1998)Module placement with boundary constraints using the sequence-pair representation., , , und . ASP-DAC, Seite 515-520. ACM, (2001)Data learning based diagnosis.. ASP-DAC, Seite 247-254. IEEE, (2010)