Publications

1 2 3 4

A Low-Power Enhanced Bitmask-Dictionary Scheme for Test Data Compression

Conference
Vahid Janfaza, Payman Behnam, Bahjat Forouzandeh, Bijan Alizadeh
2014 IEEE Computer Society Annual Symposium on VLSI
Year of publication : 2014

Harutyunyan G., Shoukourian S., Vardanian V., Zorian Y.

Conference
Vazgen Melikyan, Abraham Balabanyan, Armen Durgaryan, Payman Behnam, Hossein Sabaghian-Bidgoli, Bijan Alizadeh, Kamyar Mohajerani, Zainalabedin Navabi, Elmira Karimi, Mohamad Hashem Haghbayan, Adele Maleki, Mahmoud Tabandeh, V Kharchenko, A Gorbenko, Wajeb Gharibi, VI Hahanov, Anders Carlsson, IV Hahanova, IV Filippenko, V Duzhyi, V Sklyar, A Volkoviy, Aleksandr Timoshenko, Ksenia Lomovskaya, Mikhail Suslov, Eng Gee Lim, Zhao Wang, Gerry Juans, Ka Lok Man, Nan Zhang, Vladimir Hahanov, Eugenia Litvinova, Svetlana Chumachenko, Mishchenko Alexander, Dementiev Sergey, OA Guz, AN Ziarmand, Arefjev A Ngene Christopher Umerah, EI Litvinova, IP Englesy, VA Miz, D Shcherbin, Volodymyr Hahanov, Volodymyr Miz, Baghdadi Ammar Awni Abbas, Palanichamy Manikandan, S Dementiev, A Priymak
East-West Design & Test Symposium (EWDTS 2013)
Year of publication : 2013

A new approach for automatic test pattern generation in register transfer level circuits

Journal
Mohammad Mirzaei, Mahmoud Tabandeh, Bijan Alizadeh, Zainalabedin Navabi
IEEE Design & Test ( Volume: 30 , Issue: 4 , Aug. 2013 )
Year of publication : 2013

Polynomial datapath synthesis and optimization based on vanishing polynomial over Z2mand algebraic techniques

Conference
Samaneh Ghandali, Bijan Alizadeh, Zainalabedin Navabi, Masahiro Fujita
Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMCODE2012)
Year of publication : 2012

Mutation based debugging technique with auto-correction mechanism for RTL designs

Conference
Payman Behnam, Bijan Alizadeh, Zainalabedin Navabi, Masahiro Fujita
8th International Workshop on Silicon Debug and Diagnosis
Year of publication : 2012

Formal verification and debugging of precise interrupts on high performance microprocessors

Journal
Bijan Alizadeh
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Year of publication : 2012

A functional test generation technique for RTL datapaths

Conference
Bijan Alizadeh, Masahiro Fujita
2012 IEEE International High Level Design Validation and Test Workshop (HLDVT)
Year of publication : 2012

A formal approach to debug polynomial datapath designs

Conference
Bijan Alizadeh
17th Asia and South Pacific Design Automation Conference
Year of publication : 2012

Symbolic model-based diagnosis with auto-correction framework for arithmetic circuits

Conference
Bijan Alizadeh
2011 3rd Asia Symposium on Quality Electronic Design (ASQED)
Year of publication : 2011

Panel/Special Session Chair–Hiren Patel, Univ. Waterloo

Conference
Sanjukta Bhanja, Jens Brandt, Ed Cerny, Tim Cheng, Franco Fummi, Cindy Eisner, Ali Habibi, Ian Harris, John Hayes, Michael Hsiao, Alan Hu, Mohamed Jmaiel, Robert Jones, Smita Krishnaswamy, Mohammad Mousavi, Nicola Nicolici, Priyadarsan Patra, Laurence Pierre, Namrata Shekhar, Neeraj Suri, Ingo Sander, Gaurav Singh, Alper Sen, Jean-Pierre Talpin, Bernard Courtois, Masahiro Fujita, Bijan Alizadeh, Kyle Balston, Ismail Bouassida, Nathan DP Buchanan, Annette Bunker, Eduard Cerny, Abhijit Davare, Flavio M De Paula, Siddharth Garg, Sina Gholamian, Alexander Gotmanov, Moez Krichen, Peter Lisherness, Damian Nadales Agut, MH Neishaburi, Matthias Raffelsieper, Omid Sarbishei, Erik Seligman, Prab Varma, Hiroaki Yoshida
2011 IEEE International High Level Design Validation and Test Workshop
Year of publication : 2011

Modular equivalence verification of polynomial datapaths with multiple word-length operands

Conference
Bijan Alizadeh, Masahiro Fujita
2011 IEEE International High Level Design Validation and Test Workshop
Year of publication : 2011

Early case splitting and false path detection to improve high level ATPG techniques

Conference
Bijan Alizadeh, Masahiro Fujita
2011 IEEE International Symposium of Circuits and Systems (ISCAS)
Year of publication : 2011

Debugging and optimizing high performance superscalar out-of-order processors using formal verification techniques

Conference
Bijan Alizadeh, Masahiro Fujita
2011 12th International Symposium on Quality Electronic Design
Year of publication : 2011

2011 technical paper reviewers

Conference
Khader Abdel-Hafez, Salem Abdennadher, Erkan Acar, Dhruva Acharyya, Saman Adham, Vishwani Agrawal, Robert Aitken, Chouki Aktouf, Zaid Al-Ars, Hussain Al-Asaad, Mohammad Ali-Bakhshian, Bijan Alizadeh, Sobeeh Almukhaizim, Meryem Alpaslan, Juergen Alt, Martin Amodeo, Enamul Amyeen, Dong An, Lorena Anghel, Sadok Aouini, Dave Armstrong, Ralf Arnold, Daniel Arumí, Yoshiaki Asao, Albert Au, Charles Bachand, Iris Bahar, Kedarnath Balakrishnan, Nadir Basturkmen, Bernd Becker, Serge Bernard, Sandeep Bhatia, Dilip Bhavsar, Sudipta Bhawmik, Swarup Bhunia, Sounil Biswas, Sucharita Biswas, Shawn Blanton, Dan Bodoh, Alberto Bosio, Ahcene Bounceur, Kenneth Butler, Yi Cai, Darrell Carder, Freescale Semiconductors, Gunnar Carlsson, John Carulli, Krishnendu Chakrabarty, Tapan Chakraborty, Krishna Chakravadhanula, Sreejit Chakravarty, Victor Champac, Anshuman Chandra, Hsiu-Ming Chang, Shih-Chieh Chang, Yi-Shing Chang, Mango Chao, Abhijit Chatterjee, Degang Chen, Mingjing Chen, Tim Cheng, Wu-Tung Cheng
2011 IEEE International Test Conference
Year of publication : 2011

Polynomial datapath optimization using constraint solving and formal modelling

Conference
Finn Haedicke, Bijan Alizadeh, Görschwin Fey, Masahiro Fujita, Rolf Drechsler
Proceedings of the International Conference on Computer-Aided Design
Year of publication : 2010

Pipelined microprocessors optimization and debugging

Conference
Bijan Alizadeh, Amir Masoud Gharehbaghi, Masahiro Fujita
International Symposium on Applied Reconfigurable Computing
Year of publication : 2010

Modular datapath optimization and verification based on modular-HED

Journal
Bijan Alizadeh, Masahiro Fujita
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Year of publication : 2010

Guided gate-level ATPG for sequential circuits using a high-level test generation approach

Conference
Bijan Alizadeh, Masahiro Fujita
Proceedings of the 2010 Asia and South Pacific Design Automation Conference
Year of publication : 2010

Coverage driven high-level test generation using a polynomial model of sequential circuits

Journal
Bijan Alizadeh, Mohammad Mirzaei, Masahiro Fujita
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Year of publication : 2010

Aggressive overclocking support using a novel timing error recovery technique on FPGAs

Conference
Amir Masoud Gharehbaghi, Bijan Alizadeh, Masahiro Fujita
Proceedings of the 18th annual ACM/SIGDA international symposium on Field programmable gate arrays
Year of publication : 2010

A debugging method for repairing post-silicon bugs of high performance processors in the fields

Conference
Bijan Alizadeh, Masahiro Fujita
2010 International Conference on Field-Programmable Technology
Year of publication : 2010

2010 Index IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems Vol. 29

Journal
V Acary, R Achar, K Agarwal, BM Al-Hashimi, B Alizadeh, E Alpaslan, N Alves, P Ampadu, C Andriamisaina, M Anis, AC Antoulas, M Arjomand, Y Avniel, B Baas, MS Baghini, RI Bahar, V Balakrishnan, M Ballicchia, K Banerjee, A Basu, AA Bayrakci, K Bazargan, IM Bell, G Beltrame, L Benini, A Beygi, A Bharadwaj, BB Bhattacharya, D Blaauw, RD Blanton, R Bloem, P Bogdan, P Bohm, BN Bond, O Bonnefon, L Bononi, D Borrione, M Boule, A Brambilla, X Briand, P Brisk, B Brogliato, SS Broussev, SD Brown, A Buben, G Cabodi, BH Calhoun, LP Carloni, E Casseau, V Catania, S Cauley, K Chakrabarty, A Chakraborty, CW Chang, CH Chang, KH Chang, SC Chang, TY Chang, YJ Chang, YW Chang
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Year of publication : 2010

Polynomial datapath optimization using partitioning and compensation heuristics

Conference
O Sarbishei, Bijan Alizadeh, Masahiro Fujita
2009 46th ACM/IEEE Design Automation Conference
Year of publication : 2009

Optimization of modular multiplication on FPGA using don't care conditions

Conference
Bijan Alizadeh, Masahiro Fujita
2009 International Conference on Field-Programmable Technology
Year of publication : 2009

Modular-HED: A canonical decision diagram for modular equivalence verification of polynomial functions

Journal
Bijan Alizadeh, Masahiro Fujita
fifth Workshop on Constraints in Formal Verification (CFV)
Year of publication : 2009

Modular arithmetic decision procedure with auto-correction mechanism

Conference
Bijan Alizadeh, Masahiro Fujita
2009 IEEE International High Level Design Validation and Test Workshop
Year of publication : 2009

Improved heuristics for finite word-length polynomial datapath optimization

Conference
Bijan Alizadeh, Masahiro Fujita
Proceedings of the 2009 International Conference on Computer-Aided Design
Year of publication : 2009

http://minisat. se

Journal
Bijan ALIZADEH, Masahiro FUJITA
IEICE transactions on information and systems
Year of publication : 2009

High-level optimization of integer multipliers over a finite bit-width with verification capabilities

Conference
O Sarbishei, Mahmoud Tabandeh, Bijan Alizadeh, Masahiro Fujita
Proceedings of the 7th IEEE/ACM international conference on Formal Methods and Models for Codesign
Year of publication : 2009

Arithmetic circuits verification without looking for internal equivalences

Conference
O Sarbishei, Bijan Alizadeh, Masahiro Fujita
2008 6th ACM/IEEE International Conference on Formal Methods and Models for Co-Design
Year of publication : 2009
1 2 3 4