Research Links

Conferences
Journals
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD) (IF: 1.942, Q: 2, 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: Embedded Hardware Design (MICPRO) (IF: 1.025, Q: 3, ISSN: 0141-9331)
Microprocessors and Microsystems: Microelectronics Reliability (IF: 1.236, 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
My Projects Available to Publics

Logic synthesis

MinCirc - Optimum circuits generator
BOOM - Two-level Boolean minimizer
TT-Min - Another two-level Boolean minimizer
BoolTool - The Boolean function manipulation tool
Resynth - Circuit resynthesis by parts
XorDecomp - A XOR decomposition tool
ABC Tcl - Tcl/Tk support for ABC
BDS - BDD-based decomposition tool, new version maintained by DDD

Diagnostics, testing

SAT-Compress - SAT-based ATPG tool
Fault classifier - classifies faults in circuits inplemented in ASIC or FPGA
ColMatch - A BIST design tool

Benchmarks

A Collection of Digital Design Benchmarks (ISCAS, ITC, MCNC, IWLS, LGSynth, ...)
Random Circuits Generators - Parametrized generators of random PLA and KISS files
BOOM Benchmarks - A set of artificial BOOM benchmarks
Papers, Publications
Other
People