DATE 2001:
Munich,
Germany
Proceedings of the Conference on Design,
Automation and Test in Europe,
DATE 2001,
Munich,
Germany,
March 12-16,
2001. ACM,
2001
- Pallab Dasgupta, P. P. Chakrabarti, Amit Nandi, Sekar Krishna, Arindam Chakrabarti:
Abstraction of word-level linear arithmetic functions from bit-level component descriptions.
4-8
Electronic Edition (ACM DL) BibTeX
- Gianpiero Cabodi, Paolo Camurati, Stefano Quer:
Biasing symbolic search by means of dynamic activity profiles.
9-15
Electronic Edition (ACM DL) BibTeX
- Luc Charest, Michel Reid, El Mostapha Aboulhamid, Guy Bois:
A methodology for interfacing open source systemC with a third party software.
16
Electronic Edition (ACM DL) BibTeX
- George Economakos, Petros Oikonomakos, Ioannis Panagopoulos, Ioannis Poulakis, George K. Papakonstantinou:
Behavioral synthesis with systemC.
21-25
Electronic Edition (ACM DL) BibTeX
- Robert Siegmund, Dietmar Müller:
SystemCSV - an extension of SystemC for mixed multi-level communication modeling and interface-based system design.
26-33
Electronic Edition (ACM DL) BibTeX
- Yervant Zorian, Paolo Prinetto, João Paulo Teixeira, Isabel C. Teixeira, Carlos Eduardo Pereira, Octávio Páscoa Dias, Jorge Semião, Peter Muhmenthaler, W. Radermacher:
Embedded tutorial: TRP: integrating embedded test and ATE.
34-37
Electronic Edition (ACM DL) BibTeX
- Peter van Staa, Thomas Beck:
Embedded tutorial: current trends in the design of automotive electronic systems.
38-39
Electronic Edition (ACM DL) BibTeX
- G. Martin, Ralf Seepold, Ting Zhang, Luca Benini, Giovanni De Micheli:
Component selection and matching for IP-based design.
40-46
Electronic Edition (ACM DL) BibTeX
- Thilo Demmeler, Paolo Giusto:
A universal communication model for an automotive system integration platform.
47-54
Electronic Edition (ACM DL) BibTeX
- Amer Baghdadi, Damien Lyonnard, Nacer-Eddine Zergainoh, Ahmed Amine Jerraya:
An efficient architecture model for systematic design of application-specific multiprocessor SoC.
55-63
Electronic Edition (ACM DL) BibTeX
- Jürgen Ruf, Dirk W. Hoffmann, Joachim Gerlach, Thomas Kropf, Wolfgang Rosenstiel, Wolfgang Müller:
The simulation semantics of systemC.
64-70
Electronic Edition (ACM DL) BibTeX
- J. Zhu:
MetaRTL: raising the abstraction level of RTL design.
71-76
Electronic Edition (ACM DL) BibTeX
- Kjetil Svarstad, Gabriela Nicolescu, Ahmed Amine Jerraya:
A model for describing communication between aggregate objects in the specification and design of embedded systems.
77-85
Electronic Edition (ACM DL) BibTeX
- A. Irion, Gundolf Kiefer, Harald P. E. Vranken, Hans-Joachim Wunderlich:
Circuit partitioning for efficient logic BIST synthesis.
86-91
Electronic Edition (ACM DL) BibTeX
- Antonis M. Paschalis, Dimitris Gizopoulos, Nektarios Kranitis, Mihalis Psarakis, Yervant Zorian:
Deterministic software-based self-testing of embedded processor cores.
92-96
Electronic Edition (ACM DL) BibTeX
- Jin-Fu Li, Cheng-Wen Wu:
Memory fault diagnosis by syndrome compression.
97-101
Electronic Edition (ACM DL) BibTeX
- Ismet Bayraktaroglu, Alex Orailoglu:
Diagnosis for scan-based BIST: reaching deep into the signatures.
102-111
Electronic Edition (ACM DL) BibTeX
- Jakob Axelsson:
Methods and tools for systems engineering of automotive electronic architectures.
112
Electronic Edition (ACM DL) BibTeX
- G. Hettich, Thomas Thurner:
Vehicle electric/electronic architecture - one of the most important challenges for OEM's.
112-113
Electronic Edition (ACM DL) BibTeX
- Arjun Panday, Damien Couderc, Simon Marichalar:
AIL: description of a global electronic architecture at the vehicle scale.
112
Electronic Edition (ACM DL) BibTeX
- Evguenii I. Goldberg, Mukul R. Prasad, Robert K. Brayton:
Using SAT for combinational equivalence checking.
114-121
Electronic Edition (ACM DL) BibTeX
- Sherief Reda, A. Salem:
Combinational equivalence checking using Boolean satisfiability and binary decision diagrams.
122-126
Electronic Edition (ACM DL) BibTeX
- Yakov Novikov, Evguenii I. Goldberg:
An efficient learning procedure for multiple implication checks.
127-135
Electronic Edition (ACM DL) BibTeX
- Daniel Gajski, Eugenio Villar, Wolfgang Rosenstiel, Vassilios Gerousis, D. Barton, J. Plantin, S. E. Ericsson, Patrizia Cavalloro, Gjalt G. de Jong:
C/C++: progress or deadlock in system-level specification.
136-137
Electronic Edition (ACM DL) BibTeX
- Erik Larsson, Zebo Peng:
An integrated system-on-chip test framework.
138-144
Electronic Edition (ACM DL) BibTeX
- Anshuman Chandra, Krishnendu Chakrabarty:
Efficient test data compression and decompression for system-on-a-chip using internal scan chains and Golomb coding.
145-149
Electronic Edition (ACM DL) BibTeX
- Mounir Benabdenbi, Walid Maroufi, Meryem Marzouki:
Testing TAPed cores and wrapped cores with the same test access mechanism.
150-155
Electronic Edition (ACM DL) BibTeX
- Silvia Chiusano, Stefano Di Carlo, Paolo Prinetto, Hans-Joachim Wunderlich:
On applying the set covering model to reseeding.
156-161
Electronic Edition (ACM DL) BibTeX
- Peter van Staa, Robert Bosch, H. Heidbrink, B. Potock, J. Mueller, W. Kisselmann, W. Herden:
Data management: limiter or accelerator for electronic design creativity.
162-163
Electronic Edition (ACM DL) BibTeX
- Gerd Vandersteen, Piet Wambacq, Yves Rolain, Johan Schoukens, Stéphane Donnay, Marc Engels, Ivo Bolsens:
Efficient bit-error-rate estimation of multicarrier transceivers.
164-168
Electronic Edition (ACM DL) BibTeX
- Piet Vanassche, Georges G. E. Gielen, Willy M. C. Sansen:
Efficient time-domain simulation of telecom frontends using a complex damped exponential signal model.
169-175
Electronic Edition (ACM DL) BibTeX
- Luong Nguyen, Vincent Janicot:
Simulation method to extract characteristics for digital wireless communication systems.
176-181
Electronic Edition (ACM DL) BibTeX
- Cheng-Ta Hsieh, L. Chen, Massoud Pedram:
Microprocessor power analysis by labeled simulation.
182-189
Electronic Edition (ACM DL) BibTeX
- Anoop Iyer, Diana Marculescu:
Power aware microarchitecture resource scaling.
190-196
Electronic Edition (ACM DL) BibTeX
- Luca Benini, Giuliano Castelli, Alberto Macii, Enrico Macii, Massimo Poncino, Riccardo Scarsi:
Extending lifetime of portable systems by battery scheduling.
197-203
Electronic Edition (ACM DL) BibTeX
- Ashish Giani, Shuo Sheng, Michael S. Hsiao, Vishwani D. Agrawal:
Efficient spectral techniques for sequential ATPG.
204-208
Electronic Edition (ACM DL) BibTeX
- Fulvio Corno, Matteo Sonza Reorda, Giovanni Squillero, Massimo Violante:
On the test of microprocessor IP cores.
209-213
Electronic Edition (ACM DL) BibTeX
- Irith Pomeranz, Sudhakar M. Reddy:
Sequence reordering to improve the levels of compaction achievable by static compaction procedures.
214-218
Electronic Edition (ACM DL) BibTeX
- Alfredo Benso, Stefano Di Carlo, Giorgio Di Natale, Paolo Prinetto:
SEU effect analysis in an open-source router via a distributed fault injection environment.
219-225
Electronic Edition (ACM DL) BibTeX
- A. Lock, Raul Camposano, Heinrich Meyr:
The programmable platform: does one size fit all?
226-227
Electronic Edition (ACM DL) BibTeX
- Minghorng Lai, D. F. Wong:
Slicing tree is a complete floorplan representation.
228-232
Electronic Edition (ACM DL) BibTeX
- Chak-Chung Cheung, Yu-Liang Wu, David Ihsin Cheng:
Further improve circuit partitioning using GBAW logic perturbation techniques.
233-239
Electronic Edition (ACM DL) BibTeX
- Makoto Saitoh, Masaaki Azuma, Atsushi Takahashi:
Clustering based fast clock scheduling for light clock-tree.
240-245
Electronic Edition (ACM DL) BibTeX
- John Dielissen, Jef L. van Meerbergen, Marco Bekooij, Françoise Harmsze, Sergej Sawitzki, Jos Huisken, Albert van der Werf:
Power-efficient layered turbo decoder processor.
246-251
Electronic Edition (ACM DL) BibTeX
- Mariagiovanna Sami, Donatella Sciuto, Cristina Silvano, Vittorio Zaccaria, Roberto Zafalon:
Exploiting data forwarding to reduce the power budget of VLIW embedded processors.
252-257
Electronic Edition (ACM DL) BibTeX
- Alexander Worm, Holger Lamm, Norbert Wehn:
Design of low-power high-speed maximum a priori decoder architectures.
258-267
Electronic Edition (ACM DL) BibTeX
- Cassondra Neau, Khurram Muhammad, Kaushik Roy:
Low complexity FIR filters using factorization of perturbed coefficients.
268-272
Electronic Edition (ACM DL) BibTeX
- Andrea Acquaviva, Luca Benini, Bruno Riccò:
An adaptive algorithm for low-power streaming multimedia processing.
273-279
Electronic Edition (ACM DL) BibTeX
- Xun Liu, Marios C. Papaefthymiou:
A static power estimation methodolodgy for IP-based design.
280-289
Electronic Edition (ACM DL) BibTeX
- Michele Favalli, Cecilia Metra:
Optimization of error detecting codes for the detection of crosstalk originated errors.
290-296
Electronic Edition (ACM DL) BibTeX
- Ph. Cheynet, B. Nicolescu, Raoul Velazco, Maurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante:
System safety through automatic high-level code transformations: an experimental evaluation.
297-301
Electronic Edition (ACM DL) BibTeX
- Michael G. Wahl, Anthony P. Ambler, Christoph Maaß, Mohammed Rahman:
From DFT to systems test - a model based cost optimization tool.
302-306
Electronic Edition (ACM DL) BibTeX
- Alexander V. Drozd, M. V. Lobachev:
Efficient on-line testing method for a floating-point adder.
307-313
Electronic Edition (ACM DL) BibTeX
- Julio Leao da Silva Jr., J. Shamberger, M. Josie Ammer, C. Guo, Suet-Fei Li, Rahul C. Shah, Tim Tuan, Michael Sheets, Jan M. Rabaey, Borivoje Nikolic, Alberto L. Sangiovanni-Vincentelli, Paul K. Wright:
Design methodology for PicoRadio networks.
314-325
Electronic Edition (ACM DL) BibTeX
- Mustafa Badaroglu, Marc van Heijningen, Vincent Gravot, Stéphane Donnay, Hugo De Man, Georges G. E. Gielen, Marc Engels, Ivo Bolsens:
High-level simulation of substrate noise generation from large digital circuits with multiple supplies.
326-330
Electronic Edition (ACM DL) BibTeX
- Chr. Werner, R. Göttsche, A. Wörner, Ulrich Ramacher:
Crosstalk noise in future digital CMOS circuits.
331-335
Electronic Edition (ACM DL) BibTeX
- P. Kralicek, Werner John, Heyno Garbe:
Modeling electromagnetic emission of integrated circuits for system analysis.
336-340
Electronic Edition (ACM DL) BibTeX
- Franco Fiori, Francesco Musolino:
Analysis of EME produced by a microcontroller operation.
341-347
Electronic Edition (ACM DL) BibTeX
- Rocio del Río, Josep Lluís de la Rosa, F. Medeiro, Maria Belen Pérez-Verdú, Ángel Rodríguez-Vázquez:
Top-down design of a xDSL 14-bit 4MS/s sigma-delta modulator in digital CMOS technology.
348-352
Electronic Edition (ACM DL) BibTeX
- Mohamed Dessouky, Andreas Kaiser, Marie-Minerve Louërat, Alain Greiner:
Analog design for reuse - case study: very low-voltage sigma-delta modulator.
353-360
Electronic Edition (ACM DL) BibTeX
- Friedel Gerfers, Yiannos Manoli:
A design strategy for low-voltage low-power continuous-time sigma-delta A/D converters.
361-369
Electronic Edition (ACM DL) BibTeX
- Srinath R. Naidu, E. T. A. F. Jacobs:
Minimizing stand-by leakage power in static CMOS circuits.
370-376
Electronic Edition (ACM DL) BibTeX
- Chih-Wei Jim Chang, Bo Hu, Malgorzata Marek-Sadowska:
In-place delay constrained power optimization using functional symmetries.
377-382
Electronic Edition (ACM DL) BibTeX
- Lech Józwiak, Artur Chojnacki:
High-quality sub-function construction in functional decomposition based on information relationship measures.
383-390
Electronic Edition (ACM DL) BibTeX
- José Alberto Espejo, Luis Entrena, Enrique San Millán, Emilio Olías:
Generalized reasoning scheme for redundancy addition and removal logic optimization.
391-397
Electronic Edition (ACM DL) BibTeX
- Zhihong Zeng, Priyank Kalla, Maciej J. Ciesielski:
LPSAT: a unified approach to RTL satisfiability.
398-402
Electronic Edition (ACM DL) BibTeX
- Fabrizio Ferrandi, G. Ferrara, Donatella Sciuto, Alessandro Fin, Franco Fummi:
Functional test generation for behaviorally sequential models.
403-410
Electronic Edition (ACM DL) BibTeX
- Amjad Hajjar, Tom Chen, Isabelle Munn, Anneliese Amschler Andrews, Maria Bjorkman:
High quality behavioral verification using statistical stopping criteria.
411-419
Electronic Edition (ACM DL) BibTeX
- Pierre G. Paulin, Faraydon Karim, Paul Bromley:
Network processors: a perspective on market requirements, processor architectures and embedded S/W tools.
420-429
Electronic Edition (ACM DL) BibTeX
- Michael W. Beattie, Lawrence T. Pileggi:
Efficient inductance extraction via windowing.
430-436
Electronic Edition (ACM DL) BibTeX
- Qinwei Xu, Pinaki Mazumder:
Efficient and passive modeling of transmission lines by using differential quadrature method.
437-444
Electronic Edition (ACM DL) BibTeX
- Qingjian Yu, Ernest S. Kuh:
Explicit formulas and efficient algorithm for moment computation of coupled RC trees with lumped and distributed elements.
445-450
Electronic Edition (ACM DL) BibTeX
- Tom Chen:
On the impact of on-chip inductance on signal nets under the influence of power grid noise.
451-459
Electronic Edition (ACM DL) BibTeX
- Raimund Ubar, Artur Jutman, Zebo Peng:
Timing simulation of digital circuits with binary decision diagrams.
460-466
Electronic Edition (ACM DL) BibTeX
- Paulino Ruiz-de-Clavijo, Jorge Juan-Chico, Manuel J. Bellido, Antonio J. Acosta, Manuel Valencia:
HALOTIS: high accuracy LOgic TIming simulator with inertial and degradation delay model.
467-471
Electronic Edition (ACM DL) BibTeX
- Klaus Hering, Jork Löser, Jens Markwardt:
dibSIM: a parallel functional logic simulator allowing dynamic load balancing.
472-478
Electronic Edition (ACM DL) BibTeX
- Joachim Küter, Erich Barke:
Architecture driven partitioning.
479-487
Electronic Edition (ACM DL) BibTeX
- Christian Piguet, Marc Renaudin, Thierry J.-F. Omnés:
Low-power systems on chips (SOCs).
488
Electronic Edition (ACM DL) BibTeX
- Zaid Al-Ars, A. J. van de Goor:
Static and dynamic behavior of memory cell array opens and shorts in embedded DRAMs.
496-503
Electronic Edition (ACM DL) BibTeX
- Irith Pomeranz, Sudhakar M. Reddy:
Definitions of the numbers of detections of target faults and their effectiveness in guiding test generation for high defect coverage.
504-508
Electronic Edition (ACM DL) BibTeX
- Masaki Hashizume, Masahiro Ichimiya, Hiroyuki Yotsuyanagi, Takeomi Tamesada:
CMOS open defect detection by supply current test.
509
Electronic Edition (ACM DL) BibTeX
- Jing Zeng, Magdy S. Abadir, Jayanta Bhadra, Jacob A. Abraham:
Full chip false timing path identification: applications to the PowerPCTM microprocessors.
514-519
Electronic Edition (ACM DL) BibTeX
- Piet Wambacq, Gerd Vandersteen, Joel R. Phillips, Jaijeet S. Roychowdhury, Wolfgang Eberle, Baolin Yang, David E. Long, Alper Demir:
CAD for RF circuits.
520-529
Electronic Edition (ACM DL) BibTeX
- Pirouz Bazargan-Sabet, Fabrice Ilponse:
Modeling crosstalk noise for deep submicron verification tools.
530-534
Electronic Edition (ACM DL) BibTeX
- Youxin Gao, D. F. Wong:
A graph based algorithm for optimal buffer insertion under accurate delay models.
535-539
Electronic Edition (ACM DL) BibTeX
- Probir Sarkar, Cheng-Kok Koh:
Repeater block planning under simultaneous delay and transition time constraints.
540-545
Electronic Edition (ACM DL) BibTeX
- Luca Macchiarulo, Luca Benini, Enrico Macii:
On-the-fly layout generation for PTL macrocells.
546-551
Electronic Edition (ACM DL) BibTeX
- Tatjana Serdar, Carl Sechen:
Automatic datapath tile placement and routing.
552-559
Electronic Edition (ACM DL) BibTeX
- Gi-Joon Nam, Karem A. Sakallah, Rob A. Rutenbar:
A boolean satisfiability-based incremental rerouting approach with application to FPGAs.
560-565
Electronic Edition (ACM DL) BibTeX
- Mauricio Varea, Bashir M. Al-Hashimi:
Dual transitions petri net based modelling technique for embedded systems specification.
566-571
Electronic Edition (ACM DL) BibTeX
- Radu Marculescu, Amit Nandi:
Probabilistic application modeling for system-level perfromance analysis.
572-579
Electronic Edition (ACM DL) BibTeX
- Paolo Giusto, Grant Martin, Edwin A. Harcourt:
Reliable estimation of execution time of embedded software.
580-589
Electronic Edition (ACM DL) BibTeX
- Florence Azaïs, Serge Bernard, Yves Bertrand, Michel Renovell:
Implementation of a linear histogram BIST for ADCs.
590-595
Electronic Edition (ACM DL) BibTeX
- Sasikumar Cherubal, Abhijit Chatterjee:
Test generation based diagnosis of device parameters for analog circuits.
596-602
Electronic Edition (ACM DL) BibTeX
- Bernhard Burdiek:
Generation of optimum test stimuli for nonlinear analog circuits using nonlinear - programming and time-domain sensitivities.
603-609
Electronic Edition (ACM DL) BibTeX
- Ron Wilson:
Managing the SoC design challenge with "Soft" hardware.
610-611
Electronic Edition (ACM DL) BibTeX
- Alex Doboli:
Integrated hardware-software co-synthesis for design of embedded systems under power and latency constraints.
612-619
Electronic Edition (ACM DL) BibTeX
- Yuan Xie, Wayne Wolf:
Allocation and scheduling of conditional task graph in hardware/software co-synthesis.
620-625
Electronic Edition (ACM DL) BibTeX
- Sri Parameswaran:
Code placement in hardware/software co-synthesis to improve performance and reduce cost.
626-632
Electronic Edition (ACM DL) BibTeX
- Bilge Saglam Akgul, Vincent John Mooney III:
System-on-a-chip processor synchronization support in hardware.
633-641
Electronic Edition (ACM DL) BibTeX
- Reiner W. Hartenstein:
A decade of reconfigurable computing: a visionary retrospective.
642-649
Electronic Edition (ACM DL) BibTeX
- Iyad Ouaiss, Ranga Vemuri:
Hierarchical memory mapping during synthesis in FPGA-based reconfigurable computers.
650-657
Electronic Edition (ACM DL) BibTeX
- Sándor P. Fekete, Ekkehard Köhler, Jürgen Teich:
Optimal FPGA module placement with temporal precedence constraints.
658-667
Electronic Edition (ACM DL) BibTeX
- Claudio Passerone, Yosinori Watanabe, Luciano Lavagno:
Generation of minimal size code for scheduling graphs.
668-673
Electronic Edition (ACM DL) BibTeX
- Andreas Hoffmann, Achim Nohl, Stefan Pees, Gunnar Braun, Heinrich Meyr:
Generating production quality software development tools using a machine description language.
674-678
Electronic Edition (ACM DL) BibTeX
- Lovic Gauthier, Sungjoo Yoo, Ahmed Amine Jerraya:
Automatic generation and targeting of application specific operating systems and embedded systems software.
679-685
Electronic Edition (ACM DL) BibTeX
- Chidamber Kulkarni, C. Ghez, Miguel Miranda, Francky Catthoor, Hugo De Man:
Cache conscious data layout organization for embedded multimedia applications.
686-693
Electronic Edition (ACM DL) BibTeX
- Georges G. E. Gielen, B. Sorensen, H. Casier, Philippe Magarshack, J. Rodriguez:
Design challenges and emerging EDA solutions in mixed-signal IC design.
694-695
Electronic Edition (ACM DL) BibTeX
- Haruyuki Tago, Kazuhiro Hashimoto, Nobuyuki Ikumi, Masato Nagamatsu, Masakazu Suzuoki, Yasuyuki Yamamoto:
CPU for PlayStation 2.
696
Electronic Edition (ACM DL) BibTeX
- Anand Mandapati:
Implementation of the ATI flipper chip.
697-698
Electronic Edition (ACM DL) BibTeX
- Susumu Narita:
SH-4 RISC microprocessor for multimedia, game machine.
699-701
Electronic Edition (ACM DL) BibTeX
- Shin-ichi Minato, Shinya Ishihara:
Streaming BDD manipulation for large-scale combinatorial problems.
702-707
Electronic Edition (ACM DL) BibTeX
- Yi-Yu Liu, Kuo-Hua Wang, TingTing Hwang, C. L. Liu:
Binary decision diagram with minimum expected path length.
708-712
Electronic Edition (ACM DL) BibTeX
- Mitchell A. Thornton, Rolf Drechsler:
Spectral decision diagrams using graph transformations.
713-719
Electronic Edition (ACM DL) BibTeX
- Ahmed Amine Jerraya, G. Matheron:
Electronic system design methodology: Europe's positioning.
720-721
Electronic Edition (ACM DL) BibTeX
- Anshuman Nayak, Malay Haldar, Alok N. Choudhary, Prithviraj Banerjee:
Precision and error analysis of MATLAB applications during automated hardware synthesis for FPGAs.
722-728
Electronic Edition (ACM DL) BibTeX
- Juanjo Noguera, Rosa M. Badia:
A HW/SW partitioning algorithm for dynamically reconfigurable architectures.
729
Electronic Edition (ACM DL) BibTeX
- Zhining Huang, Sharad Malik:
Managing dynamic reconfiguration overhead in systems-on-a-chip design using reconfigurable datapaths and optimized interconnection networks.
735
Electronic Edition (ACM DL) BibTeX
- Jürgen Ruf, Dirk W. Hoffmann, Thomas Kropf, Wolfgang Rosenstiel:
Simulation-guided property checking based on a multi-valued AR-automata.
742-748
Electronic Edition (ACM DL) BibTeX
- Jinyong Jung, Sungjoo Yoo, Kiyoung Choi:
Performance improvement of multi-processor systems cosimulation based on SW analysis.
749-753
Electronic Edition (ACM DL) BibTeX
- Gabriela Nicolescu, Sungjoo Yoo, Ahmed Amine Jerraya:
Mixed-level cosimulation for fine gradual refinement of communication in SoC design.
754-759
Electronic Edition (ACM DL) BibTeX
- Andreas Hoffmann, Tim Kogel, Heinrich Meyr:
A framework for fast hardware-software co-simulation.
760-765
Electronic Edition (ACM DL) BibTeX
- Natividad Martínez Madrid, Eduardo J. Peralías, Antonio J. Acosta, Adoración Rueda:
Analog/mixed-signal IP modeling for design reuse.
766-767
Electronic Edition (ACM DL) BibTeX
- Xu Jingnan, João C. Vital, Nuno Horta:
A Skill-based library for retargetable embedded analog cores.
768-769
Electronic Edition (ACM DL) BibTeX
- Marco Rona, Gunter Krampl:
Modelling SoC devices for virtual test using VHDL.
770-771
Electronic Edition (ACM DL) BibTeX
- R. Castro-López, Francisco V. Fernández, Manuel Delgado-Restituto, Ángel Rodríguez-Vázquez:
Retargeting of mixed-signal blocks for SoCs.
772-775
Electronic Edition (ACM DL) BibTeX
- C. Yeung, Anssi Haverinen, Graham Matthews, Jonathan Morris, Jauher Zaidi:
Standard bus vs. bus wrapper: what is the best solution for future SoC integration?
776-777
Electronic Edition (ACM DL) BibTeX
- Peter Grun, Nikil D. Dutt, Alexandru Nicolau:
Access pattern based local memory customization for low power embedded systems.
778-784
Electronic Edition (ACM DL) BibTeX
- Jianwen Zhu:
Static memory allocation by pointer analysis and coloring.
785-790
Electronic Edition (ACM DL) BibTeX
- George A. Constantinides, Peter Y. K. Cheung, Wayne Luk:
Heuristic datapath allocation for multiple wordlength systems.
791-797
Electronic Edition (ACM DL) BibTeX
- Elena Teica, Rajesh Radhakrishnan, Ranga Vemuri:
On the verification of synthesized designs using automatically generated transformational witnesses.
798
Electronic Edition (ACM DL) BibTeX
- Albert E. Casavant, Aarti Gupta, S. Liu, Akira Mukaiyama, Kazutoshi Wakabayashi, Pranav Ashar:
Property-specific witness graph generation for guided simulation.
799
Electronic Edition (ACM DL) BibTeX
- Vytautas Stuikys, Giedrius Ziberkas, Robertas Damasevicius, Giedrius Majauskas:
Two approaches for developing generic components in VHDL.
800
Electronic Edition (ACM DL) BibTeX
- Gordon Cichon, Winthir Bunnbauer:
Annotated data types for addressed token passing networks.
801
Electronic Edition (ACM DL) BibTeX
- Nicola Nicolici, Bashir M. Al-Hashimi:
Testability trade-offs for BIST RTL data paths: the case for three dimensional design space.
802
Electronic Edition (ACM DL) BibTeX
- A. Lechner, Andrew Richardson, B. Hermes:
Towards a better understanding of failure modes and test requirements of ADCs.
803
Electronic Edition (ACM DL) BibTeX
- Md. Saffat Quasem, Sandeep K. Gupta:
Exact fault simulation for systems on Silicon that protects each core's intellectual property.
804
Electronic Edition (ACM DL) BibTeX
- Rainer Dorsch, Hans-Joachim Wunderlich:
Using mission logic for embedded testing.
805
Electronic Edition (ACM DL) BibTeX
- Alex Doboli, Ranga Vemuri:
A regularity-based hierarchical symbolic analysis method for large-scale analog networks.
806
Electronic Edition (ACM DL) BibTeX
- Markus Olbrich, Achim Rein, Erich Barke:
An improved hierarchical classification algorithm for structural analysis of integrated circuits.
807
Electronic Edition (ACM DL) BibTeX
- Eike Schmidt, Gerd Jochens, Lars Kruse, Frans Theeuwen, Wolfgang Nebel:
Automatic nonlinear memory power modelling.
808
Electronic Edition (ACM DL) BibTeX
- Dongkun Shin, Jihong Kim, Naehyuck Chang:
An operation rearrangement technique for power optimization in VLIM instruction fetch.
809
Electronic Edition (ACM DL) BibTeX
- Oscar Garnica, Juan Lanchares, Román Hermida:
A pseudo delay-insensitive timing model to synthesizing low-power asynchronous circuits.
810
Electronic Edition (ACM DL) BibTeX
- C. Rousselle, Matthias Pflanz, A. Behling, T. Mohaupt, Heinrich Theodor Vierhaus:
A register-transfer-level fault simulator for permanent and transient faults in embedded processors.
811
Electronic Edition (ACM DL) BibTeX
- Guido Bertoni, Luca Breveglieri, Pasqualina Fragneto:
Efficient finite field digital-serial multiplier architecture for cryptography applications.
812
Electronic Edition (ACM DL) BibTeX
- Chun Wong, Paul Marchal, Peng Yang, Francky Catthoor, Hugo De Man, Aggeliki S. Prayati, Nathalie Cossement, Rudy Lauwereins, Diederik Verkest:
Task concurrency management methodology summary.
813
Electronic Edition (ACM DL) BibTeX
- Franco Fiori:
Susceptibility of analog cells to substrate interference.
814
Electronic Edition (ACM DL) BibTeX
- Arie van Staveren, Chris J. M. Verhoeven:
Order determination for frequency compensation of negative-feedback systems.
815
Electronic Edition (ACM DL) BibTeX
- E. Yildiz, Arie van Staveren, Chris J. M. Verhoeven:
Minimizing the number of floating bias voltage sources with integer linear programming.
816
Electronic Edition (ACM DL) BibTeX
- Gregorio Cappuccino, Giuseppe Cocorullo:
CMOS sizing rule for high performance long interconnects.
817
Electronic Edition (ACM DL) BibTeX
- Sandeep Koranne, Om Prakash Gangwal:
On automatic analysis of geometrically proximate nets in VSLI layout.
818
Electronic Edition (ACM DL) BibTeX
- Jens Lienig, Goeran Jerke, Thorsten Adler:
AnalogRouter: a new approach of current-driven routing for analog circuits.
819
Electronic Edition (ACM DL) BibTeX
- José Manuel Moya, Francisco Moya, Juan Carlos López:
A hardware-software operating system for heterogeneous designs.
820
Electronic Edition (ACM DL) BibTeX
- Andrei Terechko, Evert-Jan D. Pol, Jos T. J. van Eijndhoven:
PRMDL: a machine description language for clustered VLIW architectures.
821
Electronic Edition (ACM DL) BibTeX
- Marco Bekooij, Loek J. M. Engels, Albert van der Werf, Natalino G. Busá:
Functional units with conditional input/output behavior in VLIW processors.
822
Electronic Edition (ACM DL) BibTeX
- Mina Zolfy, Shahrzad Mirkhani, Zainalabedin Navabi:
Adaptation of an event-driven simulation environment to sequentially propagated concurrent fault simulation.
823
Electronic Edition (ACM DL) BibTeX
- Carlos A. Alba Pinto, Bart Mesman, Koen Van Eijk, Jochen A. G. Jess:
Constraint satisfaction for storage files with Fifos or stacks during scheduling.
824
Electronic Edition (ACM DL) BibTeX
Copyright © Sat May 16 23:05:45 2009
by Michael Ley (ley@uni-trier.de)
