( en | de | ru )

 

Disambiguierung von "Vemuri, Ranga"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Methodology for Automated Verification of Synthesized RTL Designs and Its Integration with a High-Level Synthesis Tool.

, und . FMCAD, Volume 1522 von Lecture Notes in Computer Science, Seite 204-221. Springer, (1998)

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.

Janki Rangatia

Sripriya Rangarajan

Kiril Rangatscheff

Hiranmayi Ranganathan

Palani Murugan Rangasamy

 

Weitere Publikationen von Autoren mit dem selben Namen

Finite state machine verification on MIMD machines., und . EURO-DAC, Seite 514-520. IEEE Computer Society Press, (1992)Battery-efficient task execution on portable reconfigurable computing., , und . SoCC, Seite 237-240. IEEE, (2004)A Decomposition-based Symbolic Analysis Method for Analog Synthesis from Behavioral Specifications., und . VLSI, Volume 162 von IFIP Conference Proceedings, Seite 305-317. Kluwer, (1999)Adaptive Sampling and Modeling of Analog Circuit Performance Parameters., , und . VLSI-SOC, Seite 142-. Technische Universität Darmstadt, Insitute of Microelectronic Systems, (2003)MSL: A High-Level Language for Parameterized Analog and Mixed Signal Layout Generators., und . VLSI-SOC, Seite 416-421. Technische Universität Darmstadt, Insitute of Microelectronic Systems, (2003)Throughput Optimization with Design Space Exploration During Partitioning for Multi-FPGA Architectures., und . FPGA, Seite 253. ACM, (1999)Topology synthesis of analog circuits based on adaptively generated building blocks., und . DAC, Seite 44-49. ACM, (2008)An efficient algorithm for finding empty space for online FPGA placement., und . DAC, Seite 960-965. ACM, (2004)Hybrid Shielding: Amplifying the Power of Camouflaging and Logic Encryption., und . MWSCAS, Seite 1103-1107. IEEE, (2023)RELUT-GNN: Reverse Engineering Data Path Elements From LUT Netlists Using Graph Neural Networks., , , , , und . MWSCAS, Seite 511-515. IEEE, (2023)