FUNCTIONAL VERIFICATION
Experts
- Rolf Drechsler
- Sofiène Tahar
- Masahiro Fujita
- Jacob A. Abraham
- Magdy S. Abadir
- Matteo Sonza Reorda
- Graziano Pravadelli
- Franco Fummi
- Li-C. Wang
- Daniel Große
- Miroslav N. Velev
- Avi Ziv
- Ernesto Sánchez
- Randal E. Bryant
- Biplab K. Sikdar
- Eduard Cerny
- Gerhard Schellhorn
- Dominique Borrione
- Julien Schmaltz
- Maciej J. Ciesielski
- Michael Fisher
- Phillip J. Restle
- Mamata Dalui
- Wolfgang Reif
- Carlo A. Furia
- Robert Wille
- Otmane Aït Mohamed
- Sung-Mo Kang
- Trevor N. Mudge
- Jayanta Bhadra
- Clark W. Barrett
- Rainer Leupers
- Nicola Bombieri
- Warren A. Hunt Jr.
- Christian Jacobi
- Elmar U. K. Melcher
- Zdenek Kotásek
- Salah Merniz
- Giovanni Squillero
Venues
- CoRR
- DAC
- DATE
- Microprocess. Microsystems
- ICCD
- IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
- ITC
- IEEE Micro
- IEEE J. Solid State Circuits
- VLSI Design
- ASP-DAC
- MTV
- IEEE Trans. Very Large Scale Integr. Syst.
- IEEE Des. Test Comput.
- Sensors
- ISQED
- IEEE Trans. Computers
- ISCAS
- IEEE Access
- IBM J. Res. Dev.
- ICCAD
- HLDVT
- FMCAD
- Microelectron. Reliab.
- DSD
- IEEE Trans. Ind. Electron.
- ISSCC
- ICECS
- ISVLSI
- CAV
- Computer
- ICASSP
- MEMOCODE
- IACR Cryptol. ePrint Arch.
- ACM Trans. Design Autom. Electr. Syst.
- CICC
- ISLPED
- Int. J. Softw. Tools Technol. Transf.
- ACM Great Lakes Symposium on VLSI
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend