 | 2009 |
|---|
| 9 |       | O. Sarbishei,
Bijan Alizadeh,
Masahiro Fujita:
Polynomial datapath optimization using partitioning and compensation heuristics.
DAC 2009: 931-936 |
| 8 | | Bijan Alizadeh,
Masahiro Fujita:
A Unified Framework for Equivalence Verification of Datapath Oriented Applications.
IEICE Transactions 92-D(5): 985-994 (2009) |
| 2008 |
|---|
| 7 | | O. Sarbishei,
Bijan Alizadeh,
Masahiro Fujita:
Arithmetic Circuits Verification without Looking for Internal Equivalences.
MEMOCODE 2008: 7-16 |
| 2007 |
|---|
| 6 | | Bijan Alizadeh,
Masahiro Fujita:
Automatic Merge-Point Detection for Sequential Equivalence Checking of System-Level and RTL Descriptions.
ATVA 2007: 129-144 |
| 2006 |
|---|
| 5 | | Bijan Alizadeh:
Word level functional coverage computation.
ASP-DAC 2006: 7-12 |
| 2005 |
|---|
| 4 | | Arash Hooshmand,
Saeed Shamshiri,
Mohammad Alisafaee,
Bijan Alizadeh,
Pejman Lotfi-Kamran,
Mostafa Naderi,
Zainalabedin Navabi:
Binary Taylor diagrams: an efficient implementation of Taylor expansion diagrams.
ISCAS (1) 2005: 424-427 |
| 2004 |
|---|
| 3 | | Bijan Alizadeh,
Zainalabedin Navabi:
Property Checking based on Hierarchical Integer Equations.
ACSD 2004: 26-35 |
| 2 | | Bijan Alizadeh,
Zainalabedin Navabi:
Using Integer Equations to Check PSL Properties in RT Level Design.
IWSOC 2004: 83-86 |
| 2003 |
|---|
| 1 | | Bijan Alizadeh,
Mohammad Reza Kakoee:
Using Integer Equations for High Level Formal Verification Property Checking.
ISQED 2003: 69-74 |
