FUNCTIONAL VERIFICATION
Experts
- Sofiène Tahar
- Rolf Drechsler
- 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
- Eduard Cerny
- Gerhard Schellhorn
- Maciej J. Ciesielski
- Biplab K. Sikdar
- Dominique Borrione
- Julien Schmaltz
- Carlo A. Furia
- Michael Fisher
- Wolfgang Reif
- Mamata Dalui
- Phillip J. Restle
- Robert Wille
- Jaan Raik
- Jayanta Bhadra
- Görschwin Fey
- Rainer Leupers
- Xiaoyu Song
- Mohamed Darouach
- Todd M. Austin
- Warren A. Hunt Jr.
- Nicola Bombieri
- Sung-Mo Kang
- Otmane Aït Mohamed
- Maksim Jenihhin
- Salah Merniz
Venues
- CoRR
- DAC
- Microprocess. Microsystems
- DATE
- 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.
- IEEE Trans. Computers
- Sensors
- ISQED
- ISCAS
- IEEE Access
- ICCAD
- IBM J. Res. Dev.
- HLDVT
- Microelectron. Reliab.
- FMCAD
- DSD
- ISSCC
- IEEE Trans. Ind. Electron.
- ICECS
- Computer
- ISVLSI
- CAV
- MEMOCODE
- ICASSP
- IACR Cryptol. ePrint Arch.
- ACM Trans. Design Autom. Electr. Syst.
- CICC
- ACM Great Lakes Symposium on VLSI
- ASYNC
- ISCA
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend