Publications

1 2 3 4

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

A unified framework for equivalence verification of datapath oriented applications

Journal
Bijan Alizadeh, Masahiro Fujita
IEICE TRANSACTIONS on Information and Systems
Year of publication : 2009

A formal approach for debugging arithmetic circuits

Journal
Omid Sarbishei, Mahmoud Tabandeh, Bijan Alizadeh, Masahiro Fujita
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Year of publication : 2009

Sequential Equivalence Checking Using a Hybrid Boolean-Word Level Decision Diagram

Conference
Bijan Alizadeh, Masahiro Fujita
Computer Society of Iran Computer Conference
Year of publication : 2008

Simulation and improvement of two digital adaptive frequency calibration techniques for fast locking wide-band frequency synthesizers

Conference
MR Saadat, M Momtazpour, B Alizadeh
2007 International Conference on Design & Technology of Integrated Systems in Nanoscale Era
Year of publication : 2007
1 2 3 4