Pipelined Microprocessors Optimization and Debugging

Lecture Notes in Computer Science - Reconfigurable Computing: Architectures, Tools and Applications ◽

10.1007/978-3-642-12133-3_45 ◽

2010 ◽

pp. 435-444 ◽

Author(s):

Bijan Alizadeh ◽

Amir Masoud Gharehbaghi ◽

Masahiro Fujita

Keyword(s):

Pipelined Microprocessors

Download Full-text

Code Generation for Functional Validation of Pipelined Microprocessors

Journal of Electronic Testing ◽

10.1023/b:jett.0000029460.80721.4d ◽

2004 ◽

Vol 20 (3) ◽

pp. 269-278 ◽

Author(s):

F. Corno ◽

E. Sanchez ◽

M. Sonza Reorda ◽

G. Squillero

Keyword(s):

Code Generation ◽

Functional Validation ◽

Pipelined Microprocessors

Download Full-text

Decomposing the proof of correctness of pipelined microprocessors

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/bfb0028739 ◽

1998 ◽

pp. 122-134 ◽

Author(s):

Ravi Hosabettu ◽

Mandayam Srivas ◽

Ganesh Gopalakrishnan

Keyword(s):

Proof Of Correctness ◽

Pipelined Microprocessors

Download Full-text

Method for Formal Verification of Soft-Error Tolerance Mechanisms in Pipelined Microprocessors

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-642-16901-4_24 ◽

2010 ◽

pp. 355-370 ◽

Author(s):

Miroslav N. Velev ◽

Ping Gao

Keyword(s):

Formal Verification ◽

Error Tolerance ◽

Tolerance Mechanisms ◽

Pipelined Microprocessors

Download Full-text

Automatic verification of pipelined microprocessors

32nd Design Automation Conference ◽

10.1145/196244.196577 ◽

1994 ◽

Author(s):

Vishal Bhagwati ◽

Srinivas Devadas

Keyword(s):

Automatic Verification ◽

Pipelined Microprocessors

Download Full-text

Exploiting positive equality and partial non-consistency in the formal verification of pipelined microprocessors

Proceedings 1999 Design Automation Conference (Cat. No. 99CH36361) ◽

10.1109/dac.1999.781348 ◽

2003 ◽

Author(s):

M.N. Velev ◽

R.E. Bryant

Keyword(s):

Formal Verification ◽

Pipelined Microprocessors

Download Full-text

Exploiting positive equality and partial non-consistency in the formal verification of pipelined microprocessors

Proceedings of the 36th ACM/IEEE conference on Design automation conference - DAC '99 ◽

10.1145/309847.309967 ◽

1999 ◽

Author(s):

Miroslav N. Velev ◽

Randal E. Bryant

Keyword(s):

Formal Verification ◽

Pipelined Microprocessors

Download Full-text

Using positive equality to prove liveness for pipelined microprocessors

ASP-DAC 2004: Asia and South Pacific Design Automation Conference 2004 (IEEE Cat. No.04EX753) ◽

10.1109/aspdac.2004.1337588 ◽

2004 ◽

Author(s):

M.N. Velev

Keyword(s):

Pipelined Microprocessors

Download Full-text

Improving the efficiency of automated debugging of pipelined microprocessors by symmetry breaking in modular schemes for Boolean encoding of cardinality

2014 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) ◽

10.1109/iccad.2014.7001425 ◽

2014 ◽

Author(s):

Miroslav N. Velev ◽

Ping Gao

Keyword(s):

Symmetry Breaking ◽

Automated Debugging ◽

Pipelined Microprocessors

Download Full-text

On-Line Instruction-Checking in Pipelined Microprocessors

2008 17th Asian Test Symposium ◽

10.1109/ats.2008.47 ◽

2008 ◽

Author(s):

Stefano Di Carlo ◽

Giorgio Di Natale ◽

Riccardo Mariani

Keyword(s):

On Line ◽

Pipelined Microprocessors

Download Full-text

Synthesis of instruction sets for pipelined microprocessors

32nd Design Automation Conference ◽

10.1145/196244.196250 ◽

1994 ◽

Author(s):

Ing-Jer Huang ◽

Alvin M. Despain

Keyword(s):

Instruction Sets ◽

Pipelined Microprocessors

Download Full-text