Research Links
Conferences
Journals
- IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD) (IF: 2.565, Q: 1, ISSN: 0278-0070)
- IEEE Transactions on Reliability (IF: 2.729, Q: 1, ISSN: 0018-9529)
- IEEE Transactions on VLSI Systems (TVLSI) (IF: 1.698, Q: 2, ISSN: 1063-8210)
- International Journal of Circuit Theory and Applications (IJCTA) (IF: 1.254, Q: 3, ISSN: 0098-9886)
- ACM Transactions on Reconfigurable Technology and Systems (TRETS) (IF: 0.615, Q: 2, ISSN: 1936-7406)
- Integration, the VLSI Journal (IF: 0.906, Q: 3, ISSN: 0167-9260)
- Microprocessors and Microsystems (MICPRO) (IF: 3.503, Q: 2, ISSN: 0141-9331)
- Microelectronics Reliability (IF: 1.418, Q: 2-3, ISSN: 0026-2714)
- Reliability Engineering & System Safety (IF: 4.139, Q: 1, ISSN: 0951-8320)
- International Journal of Circuit Theory and Applications (AMCS) (IF: 1.254, Q: 2-3, ISSN: 0098-9886)
- Computing and Informatics (CAI) (IF: 0.504, Q: 3-4, ISSN: 1335-9150)
- International Journal of Reconfigurable Computing (IF: ?, Q: 4, ISSN: 1687-7195)
- IEEE Transactions on Industrial Electronics (IF: 7.168, Q: 1, ISSN: 0278-0046)
- ACM Journal on Emerging Technologies in Computing (JETC) (IF: 1.367, Q: 2-3, ISSN: 1550-4832)
- Elektronika ir Elektrotechnika (IF: 1.088, Q: 3, ISSN: 1392-1215)
- IEEE Journals
- Springer Journal Selector
Papers, Publications
Logic Synthesis
Testing & Diagnostics
Asynchronous Design
Solvers
SAT
PBO
SMT
QBF
Other
Benchmarks
Other
People