Sciweavers

MTV
2005
IEEE
100views Hardware» more  MTV 2005»
14 years 5 months ago
A Study of Architecture Description Languages from a Model-based Perspective
Abstract— Owing to the recent trend of using applicationspecific instruction-set processors (ASIP), many Architecture Description Languages (ADLs) have been created. They specif...
Wei Qin, Sharad Malik
MTV
2005
IEEE
88views Hardware» more  MTV 2005»
14 years 5 months ago
An Introduction to the Plasma Language
Brian Kahne, Aseem Gupta, Peter Wilson, Nikil D. D...
MTV
2005
IEEE
81views Hardware» more  MTV 2005»
14 years 5 months ago
Search-Space Optimizations for High-Level ATPG
Our mutation based validation paradigm (MVP) is a validation environment for high-level microprocessor implementations. To be able to efficiently identify and analyze the architec...
Jorge Campos, Hussain Al-Asaad
MTV
2005
IEEE
128views Hardware» more  MTV 2005»
14 years 5 months ago
Automated Extraction of Structural Information from SystemC-based IP for Validation
The increasing complexity and size of system level design models introduces a difficult challenge for validating them. Hence, in most industries, design validation takes a large p...
David Berner, Hiren D. Patel, Deepak Mathaikutty, ...
MTV
2005
IEEE
138views Hardware» more  MTV 2005»
14 years 5 months ago
Diagnosing Faulty Functional Units in Processors by Using Automatically Generated Test Sets
Microprocessor technology is increasingly used for many applications; the large market volumes call for cost containment in the production phase. Process yield for processor produ...
Paolo Bernardi, Ernesto Sánchez, Massimilia...
MTV
2005
IEEE
101views Hardware» more  MTV 2005»
14 years 5 months ago
Exploiting an I-IP for both Test and Silicon Debug of Microprocessor Cores
Semiconductor manufacturers aim at deliver new devices within shorter times in order to gain market shares. First silicon debug is an important issue in order to minimize the time...
Paolo Bernardi, Michelangelo Grosso, Maurizio Reba...