A systematic approach to the test of combined HW/SW systems (Englisch)

Wie erhalte ich diesen Titel?

Download
Kommerziell Vergütung an den Verlag: 28,50 € Grundgebühr: 4,00 € Gesamtpreis: 32,50 €
Akademisch Vergütung an den Verlag: 28,50 € Grundgebühr: 2,00 € Gesamtpreis: 30,50 €

Today we can identify a big gap between requirement specification and the generation of test environments. This article extends the Classification Tree Method for Embedded Systems (CTM/ES) to fill this gap by new concepts for the precise specification of stimuli for operational ranges of continuous control systems. It introduces novel means for continuous acceptance criteria definition and for functional coverage definition.

Inhaltsverzeichnis Konferenzband

Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.

873
Defect aware X-filling for low-power scan testing
Balatsouka, S / Tenentes, V / Kavousianos, X / Chakrabarty, K | 2010
618
Programmable aging sensor for automotive safety-critical applications
Vazquez, J C / Champac, V / Teixeira, I C / Santos, M B / Teixeira, J P | 2010
1
Transmitting TLM transactions over analogue wire models
Schulz, Stephan / Becker, Joerg / Uhle, Thomas / Einwich, Karsten / Sonntag, Soeren | 2010
937
A High-Voltage Low-Power DC-DC buck regulator for automotive applications
Pasetti, G / Fanucci, L / Serventi, R | 2010
926
A memory- and time-efficient on-chip TCAM minimizer for IP lookup
Heeyeol Yu, | 2010
1124
Partitioning and allocation of scratch-pad memory for priority-based preemptive multi-task systems
Takase, Hideki / Tomiyama, Hiroyuki / Takada, Hiroaki | 2010
1
Digital Statistical Analysis Using VHDL: Impact of Variations on Timing and Power Using Gate-Level Monte Carlo Simulation
Dietrich, Manfred / Eichler, Uwe / Haase, Joachim | 2010
1
High temperature polymer capacitors for aerospace applications
Landrock, Clinton K. / Kaminska, Bozena | 2010
526
An high voltage CMOS voltage regulator for automotive alternators with programmable functionalities and full reverse polarity capability
Fanucci, L / Pasetti, G / D'Abramo, P / Serventi, R / Tinfena, F / Chassard, P / Labiste, L / Tisserand, P | 2010
1
Optimization of the Bias Current Network for Accurate On-Chip Thermal Monitoring
Long, Jieyi / Memik, Seda Ogrenci | 2010
586
Optimized self-tuning for circuit aging
Mintarno, Evelyn / Skaf, Joelle / Rui Zheng, / Velamala, Jyothi / Yu Cao, / Boyd, Stephen / Dutton, Robert W / Mitra, Subhasish | 2010
1
Efficient Representation, Stratification, and Compression of Variational CSM Library Waveforms Using Robust Principle Component Analysis
Hatami, S. / Pedram, M. | 2010
1
All things are connected
Sangiovanni-Vincentelli, Alberto | 2010
1
[Title page]
| 2010
1
Feedback Control for Providing QoS in NoC Based Multicores
Sharifi, Akbar / Hui, Zhao / Kandemir, Mahmut | 2010
1
Robust Design of Embedded Systems
Lukasiewycz, Martin / Glass, Michael / Teich, Juergen | 2010
331
Integrated end-to-end timing analysis of networked AUTOSAR-compliant systems
Lakshmanan, Karthik / Bhatia, Gaurav / Rajkumar, Raj | 2010
1
DynAHeal: Dynamic Energy Efficient Task Assignment for Wireless Healthcare Systems
Aghera, Priti / Krishnaswamy, Dilip / Fang, Diana / Coskun, Ayse / Rosing, Tajana | 2010
1
Soft Error-Aware Design Optimization of Low Power and Time-Constrained Embedded Systems
Shafik, Rishad A. / Al-Hashimi, Bashir M. / Chakrabarty, Krishnendu | 2010
75
TLM+ modeling of embedded HW/SW systems
Ecker, Wolfgang / Esen, Volkan / Schwencker, Robert / Steininger, Thomas / Velten, Michael | 2010
855
Fault-based attack of RSA authentication
Pellegrini, Andrea / Bertacco, Valeria / Austin, Todd | 2010
1
An HVS-based Adaptive Computational Complexity Reduction Scheme for H.264/AVC Video Encoder using Prognostic Early Mode Exclusion
Shafique, Muhammad / Molkenthin, Bastian / Henkel, Joerg | 2010
1065
Novel Physical Unclonable Function with process and environmental variations
Xiaoxiao Wang, / Tehranipoor, Mohammad | 2010
741
Worst case delay analysis for memory interference in multicore systems
Pellizzoni, Rodolfo / Schranzhofer, Andreas / Jian-Jia Chen, / Caccamo, Marco / Thiele, Lothar | 2010
1
Multiplexed Redundant Execution: A Technique for Efficient Fault Tolerance in Chip Multiprocessors
Subramanyan, Pramod / Singh, Virendra / Saluja, Kewal K. / Larsson, Erik | 2010
1
enBudget: A Run-Time Adaptive Predictive Energy-Budgeting Scheme for Energy-Aware Motion Estimation in H.264/MPEG-4 AVC Video Encoder
Shafique, Muhammad / Bauer, Lars / Henkel, Jorg | 2010
9
Energy-efficient real-time task scheduling with temperature-dependent leakage
Chuan-Yue Yang, / Jian-Jia Chen, / Thiele, Lothar / Tei-Wei Kuo, | 2010
1
Correlation Controlled Sampling for Efficient Variability Analysis of Analog Circuits
Jaffari, Javid / Anis, Mohab | 2010
819
KAHRISMA: A Novel Hypermorphic Reconfigurable-Instruction-Set Multi-grained-Array Architecture
Koenig, Ralf / Bauer, Lars / Stripf, Timo / Shafique, Muhammad / Ahmed, Waheed / Becker, Juergen / Henkel, Jorg | 2010
459
Efficient 3D high-frequency impedance extraction for general interconnects and inductors above a layered substrate
Srivastava, Navin / Suaya, Roberto / Banerjee, Kaustav | 2010
477
The road to energy-efficient systems: From hardware-driven to software-defined
Fettweis, Gerhard | 2010
1118
Compilation of stream programs for multicore processors that incorporate scratchpad memories
Weijia Che, / Panda, Amrit / Chatha, Karam S | 2010
1
Cool MPSoC Programming
Leupers, Rainer / Thiele, Lothar / Nie, Xiaoning / Kienhuis, Bart / Weiss, Matthias / Isshiki, Tsuyoshi | 2010
953
RMOT: Recursion in model order for task execution time estimation in a software pipeline
Iqbal, Nabeel / Siddique, M Adnan / Henkel, Jorg | 2010
375
A rapid prototyping system for error-resilient multi-processor systems-on-chip
May, Matthias / Wehn, Norbert / Bouajila, Abdelmajid / Zeppenfeld, Johannes / Stechele, Walter / Herkersdorf, Andreas / Ziener, Daniel / Teich, Jurgen | 2010
1
Simultaneous Budget and Buffer Size Computation for Throughput-Constrained Task Graphs'
Wiggers, Maarten H. / Bekooij, Marco J.G. / Geilen, Marc C.W. / Basten, Twan | 2010
985
Enabling efficient post-silicon debug by clustering of hardware-assertions
Neishaburi, M H / Zilic, Zeljko | 2010
1
A New Placement Algorithm for the Mitigation of Multiple Cell Upsets in SRAM-based FPGAs
Sterpone, L. / Battezzati, N. | 2010
1
Verifying UML/OCL Models Using Boolean Satisfiability
Soeken, Mathias / Wille, Robert / Kuhlmann, Mirco / Gogolla, Martin / Drechsler, Rolf | 2010
184
Heterogeneous vs homogeneous MPSoC approaches for a Mobile LTE modem
Jalier, Camille / Lattard, Didier / Jerraya, Ahmed Amine / Sassatelli, Gilles / Benoit, Pascal / Torres, Lionel | 2010
2
Wireless communication - successful differentiation on standard technology by innovation
Eul, Herman | 2010
3
Loosely Time-Triggered Architectures for Cyber-Physical Systems
Benveniste, Albert | 2010
15
Predicting energy and performance overhead of Real-Time Operating Systems
Penolazzi, Sandro / Sander, Ingo / Hemani, Ahmed | 2010
21
Temperature-aware idle time distribution for energy optimization with dynamic voltage scaling
Min Bao, / Andrei, Alexandru / Eles, Petru / Zebo Peng, | 2010
27
Multicore soft error rate stabilization using adaptive dual modular redundancy
Vadlamani, Ramakrishna / Jia Zhao, / Burleson, Wayne / Tessier, Russell | 2010
33
A fully-asynchronous low-power framework for GALS NoC integration
Thonnart, Y / Vivet, P / Clermidy, F | 2010
39
Supporting Distributed Shared Memory on multi-core Network-on-Chips using a dual microcoded controller
Xiaowen Chen, / Zhonghai Lu, / Jantsch, Axel / Shuming Chen, | 2010
45
MEDEA: a hybrid shared-memory/message-passing multiprocessor NoC-based architecture
Tota, Sergio V / Casu, Mario R / Roch, Massimo Ruo / Rostagno, Luca / Zamboni, Maurizio | 2010
51
AgeSim: A simulation framework for evaluating the lifetime reliability of processor-based SoCs
Lin Huang, / Qiang Xu, | 2010
57
Statistical SRAM analysis for yield enhancement
Zuber, Paul / Miranda, Miguel / Dobrovolny, Petr / van der Zanden, Koen / Jong-Hoon Jung, | 2010
63
Cost-effective IR-drop failure identification and yield recovery through a failure-adaptive test scheme
Mingjing Chen, / Orailoglu, Alex | 2010
69
Scan based methodology for reliable state retention power gating designs
Sheng Yang, / Al-Hashimi, Bashir M / Flynn, David / Khursheed, Saqib | 2010
81
Scenario extraction for a refined timing-analysis of automotive network topologies
Traub, Matthias / Streichert, Thilo / Krasovytskyy, Oleg / Becker, Jurgen | 2010
87
Graphical Model Debugger Framework for embedded systems
Kebin Zeng, / Yu Guo, / Angelov, Christo K | 2010
93
IP routing processing with graphic processors
Shuai Mu, / Xinya Zhang, / Nairen Zhang, / Jiaxin Lu, / Deng, Yangdong Steve / Shu Zhang, | 2010
99
An efficient distributed memory interface for many-core platform with 3D stacked DRAM
Loi, Igor / Benini, Luca | 2010
105
Efficient OpenMP data mapping for multicore platforms with vertically stacked memory
Marongiu, Andrea / Ruggiero, Martino / Benini, Luca | 2010
111
Energy-efficient variable-flow liquid cooling in 3D stacked architectures
Coskun, Ayse K / Atienza, David / Rosing, Tajana Simunic / Brunschwiler, Thomas / Michel, Bruno | 2010
117
Optimization of an on-chip active cooling system based on thin-film thermoelectric coolers
Jieyi Long, / Memik, Seda Ogrenci / Grayson, Matthew | 2010
123
Are we there yet? Has IP block assembly become as easy as LEGO?
Moyer, Bryon / Kunkel, Joachim / Cornish, John / Rowen, Chris / Haritan, Eshel / Tanurhan, Yankin | 2010
124
Temperature-aware dynamic resource provisioning in a power-optimized datacenter
Pakbaznia, Ehsan / Ghasemazar, Mohammad / Pedram, Massoud | 2010
130
From transistors to MEMS: Throughput-aware power gating in CMOS circuits
Henry, Michael B / Nazhandali, Leyla | 2010
136
Energy- and endurance-aware design of phase change memory caches
Yongsoo Joo, / Dimin Niu, / Xiangyu Dong, / Guangyu Sun, / Naehyuck Chang, / Yuan Xie, | 2010
142
Evaluation and design exploration of solar harvested-energy prediction algorithm
Ali, Mustafa Imran / Al-Hashimi, Bashir M / Recas, Joaquin / Atienza, David | 2010
148
A nondestructive self-reference scheme for Spin-Transfer Torque Random Access Memory (STT-RAM)
Yiran Chen, / Hai Li, / Xiaobin Wang, / Wenzhong Zhu, / Wei Xu, / Tong Zhang, | 2010
154
Pseudo-CMOS: A novel design style for flexible electronics
Tsung-Ching Huang, / Fukuda, Kenjiro / Chun-Ming Lo, / Yung-Hui Yeh, / Sekitani, Tsuyoshi / Someya, Takao / Kwang-Ting Cheng, | 2010
160
Spinto: High-performance energy minimization in spin glasses
Garcia, Hector J / Markov, Igor L | 2010
166
TSV redundancy: Architecture and design issues in 3D IC
Ang-Chih Hsieh, / TingTing Hwang, / Ming-Tung Chang, / Min-Hsiu Tsai, / Chih-Mou Tseng, / Li, Hung-Chun | 2010
172
A GPU based implementation of Center-Surround Distribution Distance for feature extraction and matching
Rathi, Aditi / DeBole, Michael / Ge, Weina / Collins, Robert T / Vijaykrishnan, N | 2010
178
Parallel subdivision surface rendering and animation on the Cell BE processor
Grottesi, R / Morigi, S / Ruggiero, M / Benini, L | 2010
184
Heterogeneous vs Homogeneous MPSoC Approaches for a Mobile LTE Modern
Jalier, C. / Lattard, D. / Jerraya, A.A. / Sassatelli, G. / Benoit, P. / Torres, L. / Institute of Electrical and Electronics Engineers | 2010
190
Recursion-driven parallel code generation for multi-core platforms
Collins, Rebecca L / Vellore, Bharadwaj / Carloni, Luca P | 2010
196
An industrial design space exploration framework for supporting run-time resource management on multi-core systems
Mariani, G / Avasare, P / Vanmeerbeeck, G / Ykman-Couvreur, C / Palermo, G / Silvano, C / Zaccaria, V | 2010
202
Stretching the limits of FPGA SerDes for enhanced ATE performance
Majid, A M / Keezer, D C | 2010
208
Multi-temperature testing for core-based system-on-chip
Zhiyuan He, / Zebo Peng, / Eles, P | 2010
214
Memory testing with a RISC microcontroller
van de Goor, Ad / Gaydadjiev, Georgi / Hamdioui, Said | 2010
220
Constant-time admission control for Deadline Monotonic tasks
Masrur, Alejandro / Chakraborty, Samarjit / Farber, Georg | 2010
226
Exploiting inter-event stream correlations between output event streams of non-preemptively scheduled tasks
Rox, Jonas / Ernst, Rolf | 2010
232
Transition-aware real-time task scheduling for reconfigurable embedded systems
Kooti, Hessam / Bozorgzadeh, Elaheh / Shenghui Liao, / Lichun Bao, | 2010
238
IVF: Characterizing the vulnerability of microprocessor structures to intermittent faults
Songjun Pan, / Yu Hu, / Xiaowei Li, | 2010
244
Aging-resilient design of pipelined architectures using novel detection and correction circuits
Dadgour, Hamed / Banerjee, Kaustav | 2010
250
An integrated framework for joint design space exploration of microarchitecture and circuits
Azizi, Omid / Mahesri, Aqeel / Stevenson, John P / Patel, Sanjay J / Horowitz, Mark | 2010
256
Challenges in the design of automotive software
Furst, S | 2010
259
AUTOSAR and the automotive tool chain
Voget, Stefan | 2010
263
AUTOSAR basic software for complex control units
Diekhoff, Dirk | 2010
267
High-fidelity markovian power model for protocols
Jing Cao, / Nymeyer, Albert | 2010
271
Energy-performance design space exploration in SMT architectures exploiting selective load value predictions
Gellert, A / Palermo, G / Zaccaria, V / Florea, A / Vintan, L / Silvano, C | 2010
275
Error resilience of intra-die and inter-die communication with 3D spidergon STNoC
Pasca, Vladimir / Anghel, Lorena / Rusu, Claudia / Locatelli, Riccardo / Coppola, Marcello | 2010
279
Towards a chip level reliability simulator for copper/low-k backend processes
Bashir, Muhammad / Milor, Linda | 2010
283
NBTI modeling in the framework of temperature variation
Seyab, / Hamdioui, Said | 2010
287
RunAssert: A non-intrusive run-time assertion for parallel programs debugging
Chi-Neng Wen, / Shu-Hsuan Chou, / Tien-Fu Chen, / Tay-Jyi Lin, | 2010
291
An RDL-configurable 3D memory tier to replace on-chip SRAM
Facchini, Marco / Marchal, Pol / Catthoor, Francky / Dehaene, Wim | 2010
295
GentleCool: Cooling aware proactive workload scheduling in multi-machine systems
Ayoub, R / Sharifi, S / Simunic Rosing, T | 2010
299
Timing modeling for digital sub-threshold circuits
Lotze, Niklas / Goppert, Jacob / Manoli, Yiannos | 2010
303
Power consumption of logic circuits in ambipolar carbon nanotube technology
Ben Jamaa, M Haykel / Mohanram, Kartik / De Micheli, Giovanni | 2010
307
Reversible logic synthesis through ant colony optimization
Min Li, / Yexin Zheng, / Hsiao, Michael S / Chao Huang, | 2010
311
Low-power FinFET circuit synthesis using surface orientation optimization
Mishra, Prateek / Jha, Niraj K | 2010
315
Implementing digital logic with sinusoidal supplies
Bollapalli, Kalyana C / Khatri, Sunil P / Kish, Laszlo B | 2010
319
A reconfigurable multiprocessor architecture for a reliable face recognition implementation
Tumeo, Antonino / Regazzoni, Francesco / Palermo, Gianluca / Ferrandi, Fabrizio / Sciuto, Donatella | 2010
323
A systematic approach to the test of combined HW/SW systems
Krupp, Alexander / Muller, Wolfgang | 2010
327
A new approach for adaptive failure diagnostics based on emulation test
Ostendorff, S / Wuttke, H.-D / Sachsse, J / Kohler, S | 2010
335
Scalable stochastic processors
Narayanan, S / Sartori, J / Kumar, R / Jones, D L | 2010
339
AVGS-Mux style: A novel technology and device independent technique for reducing power and compensating process variations in FPGA fabrics
Kheradmand-Boroujeni, Bahman / Piguet, Christian / Leblebici, Yusuf | 2010
345
On the efficacy of write-assist techniques in low voltage nanoscale SRAMs
Chandra, Vikas / Pietrzyk, Cezary / Aitken, Robert | 2010
351
Optimizing the power delivery network in dynamically voltage scaled systems with uncertain power mode transition times
Hwisung Jung, / Pedram, Massoud | 2010
357
Run-time spatial resource management for real-time applications on heterogeneous MPSoCs
ter Braak, Timon D / Holzenspies, Philip K F / Kuper, Jan / Hurink, Johann L / Smit, Gerard J M | 2010
363
Rapid runtime estimation methods for pipelined MPSoCs
Javaid, Haris / Janapsatya, Andhi / Haque, Mohammad Shihabul / Parameswaran, Sri | 2010
369
Automatic workload generation for system-level exploration based on modified GCC compiler
Kreku, Jari / Tiensyrja, Kari / Vanmeerbeeck, Geert | 2010
381
Learning-based adaptation to applications and environments in a reconfigurable Network-on-Chip
Jih-Sheng Shen, / Chun-Hsian Huang, / Pao-Ann Hsiung, | 2010
387
Application-specific memory performance of a heterogeneous reconfigurable architecture
Whitty, Sean / Sahlbach, Henning / Hurlburt, Brady / Ernst, Rolf / Putzke-Roming, Wolfram | 2010
393
A reconfigurable hardware for one bit transform based multiple reference frame Motion Estimation
Akin, A / Sayilar, G / Hamzaoglu, I | 2010
399
Ultra-high throughput string matching for Deep Packet Inspection
Kennedy, Alan / Xiaojun Wang, / Zhen Liu, / Bin Liu, | 2010
405
A HMMER hardware accelerator using divergences
Giraldo, Juan Fernando Eusse / Moreano, Nahri / Jacobi, Ricardo Pezzuol / de Melo, Alba Cristina Magalhaes Alves | 2010
411
Proactive NBTI mitigation for busy functional units in out-of-order microprocessors
Lin Li, / Youtao Zhang, / Jun Yang, / Jianhua Zhao, | 2010
417
Circuit propagation delay estimation through multivariate regression-based modeling under spatio-temporal variability
Ganapathy, Shrikanth / Canal, Ramon / Gonzalez, Antonio / Rubio, Antonio | 2010
423
Analytical model for TDDB-based performance degradation in combinational logic
Choudhury, Mihir / Chandra, Vikas / Mohanram, Kartik / Aitken, Robert | 2010
429
Static and dynamic stability improvement strategies for 6T CMOS low-power SRAMs
Alorda, B / Torrens, G / Bota, S / Segura, J | 2010
435
Test front loading in early stages of automotive software development based on AUTOSAR
Michailidis, Alexander / Spieth, Uwe / Ringler, Thomas / Hedenetz, Bernd / Kowalewski, Stefan | 2010
441
A proposal for real-time interfaces in SPEEDS
Bhaduri, Purandar / Stierand, Ingo | 2010
447
Scenario-based analysis and synthesis of real-time systems using uppaal
Larsen, Kim G / Shuhao Li, / Nielsen, Brian / Pusinskas, Saulius | 2010
453
Variation-aware interconnect extraction using statistical moment preserving model order reduction
El-Moselhy, Tarek / Daniel, Luca | 2010
465
HORUS - high-dimensional Model Order Reduction via low moment-matching upgraded sampling
Villena, Jorge Fernandez / Silveira, Luis Miguel | 2010
471
On passivity of the super node algorithm for EM modeling of interconnect systems
Ugryumova, Maria V / Schilders, Wil H A | 2010
478
Vacuity analysis for property qualification by mutation of checkers
Di Guglielmo, Luigi / Fummi, Franco / Pravadelli, Graziano | 2010
484
An abstraction-guided simulation approach using Markov models for microprocessor verification
Tao Zhang, / Tao Lv, / Xiaowei Li, | 2010
490
Efficient decision ordering techniques for SAT-based test generation
Mingsong Chen, / Xiaoke Qin, / Mishra, Prabhat | 2010
496
DEW: A fast level 1 cache simulation approach for embedded processors with FIFO replacement policy
Haque, Mohammad Shihabul / Peddersen, Jorgen / Janapsatya, Andhi / Parameswaran, Sri | 2010
502
FlashPower: A detailed power model for NAND flash memory
Mohan, Vidyabhushan / Gurumurthi, Sudhanva / Stan, Mircea R | 2010
508
A power optimization method for CMOS Op-Amps using sub-space based geometric programming
Wei Gao, / Hornsey, Richard | 2010
514
Power gating design for standard-cell-like structured ASICs
Sin-Yu Chen, / Rung-Bin Lin, / Hui-Hsiang Tung, / Kuen-Wey Lin, | 2010
520
Dual-Vth leakage reduction with Fast Clock Skew Scheduling Enhancement
Meng Tie, / Haiying Dong, / Tong Wang, / Xu Cheng, | 2010
526
A High Voltage CMOS Voltage Regulator for Automotive Alternators with Programmable Funcionalities and Full Reverse Polarity Capability
Fanucci, L. / Pasetti, G. / D Abramo, P. / Serventi, R. / Tinfena, F. / Chassard, P. / Labiste, L. / Tisserand, P. / Institute of Electrical and Electronics Engineers | 2010
532
Design of an automotive traffic sign recognition system targeting a multi-core SoC implementation
Muller, Matthias / Braun, Axel / Gerlach, Joachim / Rosenstiel, Wolfgang / Nienhuser, Dennis / Zollner, J Marius / Bringmann, Oliver | 2010
538
Simulation-based verification of the MOST NetInterface specification revision 3.0
Braun, Andreas / Bringmann, Oliver / Lettnin, Djones / Rosenstiel, Wolfgang | 2010
544
Holistic simulation of FlexRay networks by using run-time model switching
Karner, Michael / Armengaud, Eric / Steger, Christian / Weiss, Reinhold | 2010
550
Computing robustness of FlexRay schedules to uncertainties in design parameters
Ghosal, Arkadeb / Haibo Zeng, / Di Natale, Marco / Ben-Haim, Yakov | 2010
556
Adapting to adaptive testing
Marinissen, Erik Jan / Singh, Adit / Glotter, Dan / Esposito, Marco / Carulli, John M / Nahar, Amit / Butler, Kenneth M / Appello, Davide / Portelli, Chris | 2010
562
Using filesystem virtualization to avoid metadata bottlenecks
Artiaga, Ernest / Cortes, Toni | 2010
568
An accurate system architecture refinement methodology with mixed abstraction-level virtual platform
Zhe-Mao Hsu, / Jen-Chieh Yeh, / I-Yao Chuang, | 2010
574
Non-intrusive virtualization management using libvirt
Bolte, Matthias / Sievers, Michael / Birkenheuer, Georg / Niehorster, Oliver / Brinkmann, Andre | 2010
580
Process variation and temperature-aware reliability management
Cheng Zhuo, / Sylvester, Dennis / Blaauw, David | 2010
592
Investigating the impact of NBTI on different power saving cache strategies
Ricketts, A / Singh, J / Ramakrishnan, K / Vijaykrishnan, N / Pradhan, D K | 2010
598
Energy-oriented dynamic SPM allocation based on time-slotted Cache conflict graph
Wang Huan, / Zhang Yang, / Mei Chen, / Ling Ming, | 2010
602
Enhanced Q-learning algorithm for dynamic power management with performance constraint
Wei Liu, / Ying Tan, / Qinru Qiu, | 2010
606
Parallel simulation of systemC TLM 2.0 compliant MPSoC on SMP workstations
Mello, Aline / Maia, Isaac / Greiner, Alain / Pecheux, Francois | 2010
610
High-speed clock recovery for low-cost FPGAs
Haller, Istvan / Baruch, Zoltan Francisc | 2010
614
Demonstration of an in-band reconfiguration data distribution and network node reconfiguration
Pross, Uwe / Goller, Sebastian / Markert, Erik / Juttner, Michael / Langer, Jan / Heinkel, Ulrich / Knablein, Joachim / Schneider, Axel | 2010
622
Passive reduced order modeling of multiport interconnects via semidefinite programming
Mahmood, Zohaib / Bond, Brad / Moselhy, Tarek / Megretski, Alexandre / Daniel, Luca | 2010
626
GoldMine: Automatic assertion generation using data mining and static analysis
Vasudevan, Shobha / Sheridan, David / Patel, Sanjay / Tcheng, David / Tuohy, Bill / Johnson, Daniel | 2010
630
Assertion-based verification of RTOS properties
Oliveira, Marcio F S / Zabel, Henning / Mueller, Wolfgang | 2010
634
Post-placement temperature reduction techniques
Wei Liu, / Nannarelli, Alberto / Calimera, Andrea / Macii, Enrico / Poncino, Massimo | 2010
638
Clock gating approaches by IOEX graphs and cluster efficiency plots
Srinivas, Jithendra / Jairam, S | 2010
642
Timing modeling and analysis for AUTOSAR-based software development - a case study
Klobedanz, Kay / Kuznik, Christoph / Thuy, Andreas / Mueller, Wolfgang | 2010
646
Design of a real-time optimized emulation method
Kerstan, Timo / Oertel, Markus | 2010
650
Capturing intrinsic parameter fluctuations using the PSP compact model
Cheng, B / Dideban, D / Moezi, N / Millar, C / Roy, G / Wang, X / Roy, S / Asenov, A | 2010
654
Power efficient voltage islanding for Systems-on-chip from a floorplanning perspective
Ghosh, Pavel / Sen, Arunabha | 2010
658
Always energy-optimal microscopic wireless systems
Rabaey, Jan M | 2010
659
Hardware / software design challenges of low-power sensor nodes for condition monitoring
Ahlendorf, H / Gopfert, L | 2010
660
Security aspects in 6lowPan networks
Barker, Ron | 2010
661
Monolithically stackable hybrid FPGA
Strukov, Dmitri / Mishchenko, Alan | 2010
667
Spintronic memristor devices and application
Xiaobin Wang, / Yiran Chen, | 2010
673
Compact model of memristors and its application in computing systems
Hai Li, / Miao Hu, | 2010
679
Design space exploration of a mesochronous link for cost-effective and flexible GALS NOCs
Ludovici, Daniele / Strano, Alessandro / Gaydadjiev, Georgi N / Benini, Luca / Bertozzi, Davide | 2010
685
A methodology for the characterization of process variation in NoC links
Hernandez, Carles / Silla, Federico / Duato, Jose | 2010
691
PhoenixSim: A simulator for physical-layer analysis of chip-scale photonic interconnection networks
Chan, Johnnie / Hendry, Gilbert / Biberman, Aleksandr / Bergman, Keren / Carloni, Luca P | 2010
697
An 11.6-19.3mW 0.375-13.6GHz CMOS frequency synthesizer with rail-to-rail operation
Geis, Arnd / Nuzzoz, Pierluigi / Ryckaert, Julien / Rolainy, Yves / Vandersteeny, Gerd / Craninckx, Jan | 2010
702
A compact digital amplitude modulator in 90nm CMOS
Chironi, V / Debaillie, B / Baschirotto, A / Craninckx, J / Ingels, M | 2010
706
A 14 bit, 280 kS/s cyclic ADC with 100 dB SFDR
Froehlich, Thomas / Sharma, Vivek / Bingesser, Markus | 2010
711
Ultra-low power mixed-signal design platform using subthreshold source-coupled circuits
Tajalli, Armin / Leblebici, Yusuf | 2010
717
Clock skew scheduling for soft-error-tolerant sequential circuits
Kai-Chiang Wu, / Marculescu, Diana | 2010
723
HW/SW co-detection of transient and permanent faults with fast recovery in statically scheduled data paths
Scholzel, Mario | 2010
729
Scalable codeword generation for coupled buses
Karmarkar, Kedar / Tragoudas, Spyros | 2010
735
An adaptive code rate EDAC scheme for random access memory
Ching-Yi Chen, / Cheng-Wen Wu, | 2010
747
Throughput modeling to evaluate process merging transformations in polyhedral process networks
Meijer, S / Nikolov, H / Stefanov, T | 2010
753
Trace-based KPN composability analysis for mapping simultaneous applications to MPSoC platforms
Castrillon, Jeronimo / Velasquez, Ricardo / Stulova, Anastasia / Weihua Sheng, / Jianjiang Ceng, / Leupers, Rainer / Ascheid, Gerd / Meyr, Heinrich | 2010
759
Bounding the shared resource load for the performance analysis of multiprocessor systems
Schliecker, Simon / Negrean, Mircea / Ernst, Rolf | 2010
765
An error-correcting unordered code and hardware support for robust asynchronous global communication
Agyekum, Melinda Y / Nowick, Steven M | 2010
771
Large-scale Boolean matching
Katebi, Hadi / Markov, Igor L | 2010
777
KL-Cuts: A new approach for logic synthesis targeting multiple output blocks
Martinello, Osvaldo / Marques, Felipe S / Ribas, Renato P / Reis, Andre I | 2010
783
RALF: Reliability Analysis for Logic Faults — An exact algorithm and its applications
Luckenbill, Samuel / Ju-Yueh Lee, / Yu Hu, / Majumdar, Rupak / Lei He, | 2010
789
Panel 6.8: The challenges of heterogeneous multicore debug
Martin, Grant / Mayer, Albrecht | 2010
791
Why design must change: Rethinking digital design
Horowitz, Mark | 2010
792
Low power design of the X-GOLD® SDR 20 baseband processor
Raab, Wolfgang / Berthold, Jorg / Hachmann, Ulrich / Langen, Dominik / Schreiner, Michael / Eisenreich, Holger / Schluessler, Jens-Uwe / Ellguth, Georg | 2010
794
Low power mobile internet devices using LTE technology
Aue, Volker | 2010
795
A black box method for stability analysis of arbitrary SRAM cell structures
Wieckowski, M / Sylvester, D / Blaauw, D / Chandra, V / Idgunji, S / Pietrzyk, C / Aitken, R | 2010
801
Loop flattening & spherical sampling: Highly efficient model reduction techniques for SRAM yield analysis
Qazi, Masood / Tikekar, Mehul / Dolecek, Lara / Shah, Devavrat / Chandrakasan, Anantha | 2010
807
Practical Monte-Carlo Base Timing Yield Estimation of Digital Circuits
Jaffari, J. / Anis, M. / Institute of Electrical and Electronics Engineers | 2010
807
Practical Monte-Carlo based timing yield estimation of digital circuits
Jaffari, Javid / Anis, Mohab | 2010
813
Statistical static timing analysis using Markov chain Monte Carlo
Kanoria, Yashodhan / Mitra, Subhasish / Montanari, Andrea | 2010
825
A reconfigurable cache memory with heterogeneous banks
Benitez, Domingo / Moure, Juan C / Rexachs, Dolores / Luque, Emilio | 2010
831
Evaluation of runtime task mapping heuristics with rSesame - a case study
Sigdel, Kamana / Thompson, Mark / Galuzzi, Carlo / Pimentel, Andy D / Bertels, Koen | 2010
837
VAPRES: A Virtual Architecture for Partially Reconfigurable Embedded Systems
Jara-Berrocal, Abelardo / Gordon-Ross, Ann | 2010
843
pSHS: A scalable parallel software implementation of Montgomery multiplication for multicore systems
Zhimin Chen, / Schaumont, Patrick | 2010
849
BCDL: A high speed balanced DPL for FPGA with global precharge and no early evaluation
Nassar, Maxime / Bhasin, Shivam / Danger, Jean-Luc / Duc, Guillaume / Guilley, Sylvain | 2010
861
Detecting/preventing information leakage on the memory bus due to malicious hardware
Das, Abhishek / Memik, Gokhan / Zambreno, Joseph / Choudhary, Alok | 2010
867
An embedded platform for privacy-friendly road charging applications
Balasch, Josep / Verbauwhede, Ingrid / Preneel, Bart | 2010
879
Parallel X-fault simulation with critical path tracing technique
Ubar, Raimund / Devadze, Sergei / Raik, Jaan / Jutman, Artur | 2010
885
Diagnosis of multiple arbitrary faults with mask and reinforcement effect
Jing Ye, / Yu Hu, / Xiaowei Li, | 2010
891
Skewed pipelining for parallel simulink simulations
Canedo, Arquimedes / Yoshizawa, Takeo / Komatsu, Hideaki | 2010
897
An efficient and complete approach for throughput-maximal SDF allocation and scheduling on multi-core platforms
Bonfietti, Alessio / Benini, Luca / Lombardi, Michele / Milano, Michela | 2010
903
A software update service with self-protection capabilities
Neukirchner, Moritz / Stein, Steffen / Schrom, Harald / Ernst, Rolf | 2010
909
Bitstream processing for embedded systems using C++ metaprogramming
Klemm, Reimund / Fettweis, Gerhard | 2010
914
Increasing PCM main memory lifetime
Ferreira, Alexandre P / Miao Zhou, / Bock, Santiago / Childers, Bruce / Melhem, Rami / Mosse, Daniel | 2010
920
Dueling CLOCK: Adaptive cache replacement policy based on the CLOCK algorithm
Janapsatya, Andhi / Ignjatovic, Aleksandar / Peddersen, Jorgen / Parameswaran, Sri | 2010
932
PANEL SESSION - Who Is Closing the embedded software design gap?
Ecker, W. / Bricaud, Pierre / Doemer, Rainer / Veller, Yossi / Heinen, Stefan / Mossinger, Jurgen / von Schwerin, Andreas | 2010
933
Accelerating Lightpath setup via broadcasting in binary-tree waveguide in Optical NoCs
Binzhang Fu, / Yinhe Han, / Huawei Li, / Xiaowei Li, | 2010
941
SimTag: Exploiting tag bits similarity to improve the reliability of the data caches
Jesung Kim, / Soontae Kim, / Yebin Lee, | 2010
945
The split register file
Abella, J / Carretero, J / Chaparro, P / Vera, X | 2010
949
Multithreaded code from synchronous programs: Extracting independent threads for OpenMP
Baudisch, Daniel / Brandt, Jens / Schneider, Klaus | 2010
957
Approximate logic synthesis for error tolerant applications
Doochul Shin, / Gupta, Sandeep K | 2010
961
Automatic microarchitectural pipelining
Galceran-Oms, Marc / Cortadella, Jordi / Bufistov, Dmitry / Kishinevsky, Mike | 2010
965
Non-linear Operating Point Statistical Analysis for Local Variations in logic timing at low voltage
Rithe, Rahul / Jie Gu, / Wang, Alice / Datla, Satyendra / Gammie, Gordon / Buss, Dennis / Chandrakasan, Anantha | 2010
969
Dynamically reconfigurable register file for a softcore VLIW processor
Wong, Stephan / Anjam, Fakhar / Nadeem, Faisal | 2010
973
FPGA-based adaptive computing for correlated multi-stream processing
Ming Liu, / Zhonghai Lu, / Kuehn, Wolfgang / Jantsch, Axel | 2010
977
Far Correlation-based EMA with a precharacterized leakage model
Meynard, Olivier / Guilley, Sylvain / Danger, Jean-Luc / Sauvage, Laurent | 2010
981
Improved countermeasure against Address-bit DPA for ECC scalar multiplication
Izumi, Masami / Ikegami, Jun / Sakiyama, Kazuo / Ohta, Kazuo | 2010
989
Constrained Power Management: Application to a multimedia mobile platform
Bellasi, Patrick / Bosisio, Stefano / Carnevali, Matteo / Fornaciari, William / Siorpaes, David | 2010
993
Mapping scientific applications on a large-scale data-path accelerator implemented by single-flux quantum (SFQ) circuits
Mehdipour, Farhad / Honda, Hiroaki / Kataoka, Hiroshi / Inoue, Koji / Kataeva, Irina / Murakami, Kazuaki / Akaike, Hiroyuki / Fujimaki, Akira | 2010
997
MB-LITE: A robust, light-weight soft-core implementation of the MicroBlaze architecture
Kranenburg, Tamar / van Leuken, Rene | 2010
1001
Automatic pipelining from transactional datapath specifications
Nurvitadhi, Eriko / Hoe, James C / Kam, Timothy / Lu, Shih-Lien L | 2010
1005
Increasing the power efficiency of PCs by improving the hardware/OS interaction
Schlager, Chris | 2010
1006
Optimize your power and performance yields and regain those sleepless nights
Flautner, Krisztian | 2010
1007
Digital statistical analysis using VHDL
Dietrich, Manfred / Eichler, Uwe / Haase, Joachim | 2010
1011
A resilience roadmap
Nassif, Sani R / Mehta, Nikil / Yu Cao, | 2010
1017
Vision for cross-layer optimization to address the dual challenges of energy and reliability
DeHon, Andre / Quinn, Heather M / Carter, Nicholas P | 2010
1023
Design techniques for cross-layer resilience
Carter, Nicholas P / Naeimi, Helia / Gardner, Donald S | 2010
1029
Cross-layer resilience challenges: Metrics and optimization
Mitra, Subhasish / Brelsford, Kevin / Sanda, Pia N | 2010
1035
Pareto efficient design for reconfigurable streaming applications on CPU/FPGAs
Jun Zhu, / Sander, Ingo / Jantsch, Axel | 2010
1041
Automated bottleneck-driven design-space exploration of media processing systems
Yang Yang, / Geilen, Marc / Basten, Twan / Stuijk, Sander / Corporaal, Henk | 2010
1047
Using Transaction Level Modeling techniques for wireless sensor network simulation
Damm, Markus / Moreno, Javier / Haase, Jan / Grimm, Christoph | 2010
1053
RTOS-aware refinement for TLM2.0-based HW/SW designs
Becker, Markus / Di Guglielmo, Giuseppe / Fummi, Franco / Mueller, Wolfgang / Pravadelli, Graziano / Tao Xie, | 2010
1059
Power Variance Analysis breaks a masked ASIC implementation of AES
Yang Li, / Sakiyama, Kazuo / Batina, Lejla / Nakatsu, Daisuke / Ohta, Kazuo | 2010
1071
Ultra low-power 12-bit SAR ADC for RFID applications
De Venuto, Daniela / Stikvoort, Eduard / Castro, David Tio / Ponomarev, Youri | 2010
1076
A flexible UWB Transmitter for breast cancer detection imaging systems
Cutrupi, Massimo / Crepaldi, Marco / Casu, Mario R / Graziano, Mariagrazia | 2010
1082
A portable multi-pitch e-drum based on printed flexible pressure sensors
Chun-Ming Lo, / Tsung-Ching Huang, / Cheng-Yi Chiang, / Hou, Johnson / Kwang-Ting Cheng, | 2010
1088
Computation of yield-optimized Pareto fronts for analog integrated circuit specifications
Mueller-Gritschneder, Daniel / Graeb, Helmut | 2010
1094
Variability-aware reliability simulation of mixed-signal ICs with quasi-linear complexity
Maricau, Elie / Gielen, Georges | 2010
1100
A general mathematical model of probabilistic ripple-carry adders
Lau, Mark S K / Keck-Voon Ling, / Yun-Chung Chu, / Bhanu, Arun | 2010
1106
An accurate and efficient yield optimization method for analog circuits based on computing budget allocation and memetic search technique
Bo Liu, / Fernandez, Francisco V / Gielen, Georges | 2010
1112
Reuse-aware modulo scheduling for stream processors
Li Wang, / Jingling Xue, / Xuejun Yang, | 2010
1130
A special-purpose compiler for look-up table and code generation for function evaluation
Yuanrui Zhang, / Lanping Deng, / Yedlapalli, Praveen / Muralidhara, Sai Prashanth / Hui Zhao, / Kandemir, Mahmut / Chakrabarti, Chaitali / Pitsianis, Nikos / Xiaobai Sun, | 2010
1136
General behavioral thermal modeling and characterization for multi-core microprocessor design
Eguia, Thom J A / Tan, Sheldon X.-D / Ruijing Shen, / Pacheco, Eduardo H / Tirumala, Murli | 2010
1142
On the construction of guaranteed passive macromodels for high-speed channels
Chinea, Alessandro / Grivet-Talocia, Stefano / Deschrijver, Dirk / Dhaene, Tom / Knockaert, Luc | 2010
1148
Extended Hamiltonian Pencil for passivity assessment and enforcement for S-parameter systems
Zuochang Ye, / Silveira, L Miguel / Phillips, Joel R | 2010
1153
Equivalent circuit modeling of multilayered power/ground planes for fast transient simulation
Watanabe, Takayuki / Asai, Hideki | 2010
1159
Carbon nanotube circuits: Living with imperfections and variations
Jie Zhang, / Patil, Nishant / Lin, Albert / Wong, H.-S Philip / Mitra, Subhasish | 2010
1165
Properties of and improvements to time-domain dynamic thermal analysis algorithms
Xi Chen, / Dick, Robert P / Li Shang, | 2010
1171
Towards assertion-based verification of heterogeneous system designs
Lammermann, Stefan / Ruf, Jurgen / Kropf, Thomas / Rosenstiel, Wolfgang / Viehl, Alexander / Jesser, Alexander / Hedrich, Lars | 2010
1177
Automatic generation of software TLM in multiple abstraction layers for efficient HW/SW co-simulation
Meng-Huan Wu, / Wen-Chuan Lee, / Chen-Yu Chuang, / Ren-Song Tsay, | 2010
1183
Modeling constructs and kernel for parallel simulation of accuracy adaptive TLMs
Salimi Khaligh, R / Radetzki, M | 2010
1189
Efficient High-Level modeling in the networking domain
Zebelein, Christian / Falk, Joachim / Haubelt, Christian / Teich, Jurgen / Dorsch, Rainer | 2010
1195
UML design for dynamically reconfigurable multiprocessor embedded systems
Vidal, Jorgiano / de Lamotte, Florent / Gogniat, Guy / Diguet, Jean-Philippe / Soulard, Philippe | 2010
1201
Closing the gap between UML-based modeling, simulation and synthesis of combined HW/SW systems
Mischkalla, Fabian / Da He, / Mueller, Wolfgang | 2010