Smart diagnostics for configurable processor verification

Proceedings. 42nd Design Automation Conference, 2005. ◽

10.1109/dac.2005.193923 ◽

2005 ◽

Author(s):

S. Ezer ◽

S. Johnson

Keyword(s):

Processor Verification ◽

Configurable Processor

Download Full-text

Smart diagnostics for configurable processor verification

Proceedings. 42nd Design Automation Conference, 2005. ◽

10.1145/1065579.1065789 ◽

2005 ◽

Cited By ~ 2

Author(s):

Sadik Ezer ◽

Scott Johnson

Keyword(s):

Processor Verification ◽

Configurable Processor

Download Full-text

Addressing Test Generation Challenges for Configurable Processor Verification

2006 IEEE International High Level Design Validation and Test Workshop ◽

10.1109/hldvt.2006.319970 ◽

2006 ◽

Cited By ~ 3

Author(s):

M. Rimon ◽

Y. Lichtenstein ◽

A. Adir ◽

I. Jaeger ◽

M. Vinov ◽

...

Keyword(s):

Test Generation ◽

Processor Verification ◽

Configurable Processor

Download Full-text

Combining Symbolic Model Checking with Uninterpreted Functions for Out-of-Order Processor Verification

10.21236/ada346065 ◽

1998 ◽

Cited By ~ 4

Author(s):

Sergey Berezin ◽

Armin Biere ◽

Edmund Clarke ◽

Yunshan Zhu

Keyword(s):

Model Checking ◽

Symbolic Model Checking ◽

Symbolic Model ◽

Processor Verification

Download Full-text

CONFIGURABLE PROCESSOR FEATURES

Optimized ASIP Synthesis from Architecture Description Language Models ◽

10.1007/978-1-4020-5686-4_8 ◽

2007 ◽

pp. 101-115

Author(s):

Oliver Schliebusch ◽

Heinrich Meyr ◽

Rainer Leupers

Keyword(s):

Configurable Processor

Download Full-text

Background on Processor Verification

Symbolic Simulation Methods for Industrial Formal Verification ◽

10.1007/978-1-4615-1101-4_6 ◽

2002 ◽

pp. 97-104

Author(s):

Robert B. Jones

Keyword(s):

Processor Verification

Download Full-text

Processor Verification

Customizable Embedded Processors ◽

10.1016/b978-012369526-0/50013-9 ◽

2007 ◽

pp. 281-302

Author(s):

Daniel Große ◽

Rolf Drechsler ◽

Robert Siegmund

Keyword(s):

Processor Verification

Download Full-text

Digital configurable processor for acquisition and elaboration of data from detector arrays

2009 IEEE Nuclear Science Symposium Conference Record (NSS/MIC) ◽

10.1109/nssmic.2009.5401954 ◽

2009 ◽

Cited By ~ 2

Author(s):

A. Abba ◽

A. Manenti ◽

A. Suardi ◽

C. Fiorini ◽

A. Geraci

Keyword(s):

Detector Arrays ◽

Configurable Processor

Download Full-text

Using a configurable processor generator for computer architecture prototyping

Proceedings of the 42nd Annual IEEE/ACM International Symposium on Microarchitecture - Micro-42 ◽

10.1145/1669112.1669159 ◽

2009 ◽

Cited By ~ 7

Author(s):

Alex Solomatnikov ◽

Amin Firoozshahian ◽

Ofer Shacham ◽

Zain Asgar ◽

Megan Wachs ◽

...

Keyword(s):

Computer Architecture ◽

Configurable Processor

Download Full-text

A Multidimensional Configurable Processor Array — Vocalise

IEICE Transactions on Information and Systems ◽

10.1587/transinf.2014edp7219 ◽

2015 ◽

Vol E98.D (2) ◽

pp. 313-324 ◽

Cited By ~ 1

Author(s):

Jiang LI ◽

Yusuke ATSUMARI ◽

Hiromasa KUBO ◽

Yuichi OGISHIMA ◽

Satoru YOKOTA ◽

...

Keyword(s):

Processor Array ◽

Configurable Processor

Download Full-text

A bus architecture centric configurable processor system

Proceedings of the IEEE 1999 Custom Integrated Circuits Conference (Cat. No.99CH36327) ◽

10.1109/cicc.1999.777359 ◽

2003 ◽

Cited By ~ 3

Author(s):

S. Winegarden

Keyword(s):

Configurable Processor ◽

Bus Architecture

Download Full-text