Search the dblp DataBase

Publications of Author

1. Bijan Alizadeh, Zainalabedin Navabi
   Property Checking based on Hierarchical Integer Equations. [Citation Graph (0, 0)][DBLP]
   ACSD, 2004, pp:26-35 [Conf]
   
2. Bijan Alizadeh
   Word level functional coverage computation. [Citation Graph (0, 0)][DBLP]
   ASP-DAC, 2006, pp:7-12 [Conf]
   
3. 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. [Citation Graph (0, 0)][DBLP]
   ISCAS (1), 2005, pp:424-427 [Conf]
   
4. Bijan Alizadeh, Mohammad Reza Kakoee
   Using Integer Equations for High Level Formal Verification Property Checking. [Citation Graph (0, 0)][DBLP]
   ISQED, 2003, pp:69-74 [Conf]
   
5. Bijan Alizadeh, Zainalabedin Navabi
   Using Integer Equations to Check PSL Properties in RT Level Design. [Citation Graph (0, 0)][DBLP]
   IWSOC, 2004, pp:83-86 [Conf]
   
6. Bijan Alizadeh, Masahiro Fujita
   Automatic Merge-Point Detection for Sequential Equivalence Checking of System-Level and RTL Descriptions. [Citation Graph (0, 0)][DBLP]
   ATVA, 2007, pp:129-144 [Conf]
   
7. 
   Polynomial datapath optimization using partitioning and compensation heuristics. [Citation Graph (, )][DBLP]
   
   
8. 
   Aggressive overclocking support using a novel timing error recovery technique on FPGAs (abstract only). [Citation Graph (, )][DBLP]
   
   
9. 
   Improved heuristics for finite word-length polynomial datapath optimization. [Citation Graph (, )][DBLP]
   
   
10. 
    Arithmetic Circuits Verification without Looking for Internal Equivalences. [Citation Graph (, )][DBLP]
    
    
11. 
    Pipelined Microprocessors Optimization and Debugging. [Citation Graph (, )][DBLP]