Fault latencies of concurrent checking FSMs (Englisch)
- Neue Suche nach: Goot, R.
- Neue Suche nach: Levin, I.
- Neue Suche nach: Ostanin, S.
- Neue Suche nach: Goot, R.
- Neue Suche nach: Levin, I.
- Neue Suche nach: Ostanin, S.
In:
Proceedings Euromicro Symposium on Digital System Design. Architectures, Methods and Tools
;
174-179
;
2002
-
ISBN:
- Aufsatz (Konferenz) / Elektronische Ressource
-
Titel:Fault latencies of concurrent checking FSMs
-
Beteiligte:
-
Erschienen in:
-
Verlag:
- Neue Suche nach: IEEE
-
Erscheinungsdatum:01.01.2002
-
Format / Umfang:373724 byte
-
ISBN:
-
DOI:
-
Medientyp:Aufsatz (Konferenz)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Datenquelle:
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.
- 2
-
Systems are made from transistors: UDSM technology creates new challenges for library and IC developmentSchlichtmann, U. et al. | 2002
- 4
-
An asynchronous victim cacheHormdee, D. / Garside, J.D. / Furber, S.B. et al. | 2002
- 12
-
Formal verification of a DSP chip using an iterative approachHabibi, A. / Tahar, S. / Ghazel, A. et al. | 2002
- 20
-
Hardware architecture for Java in a hardware/software co-design of the virtual machineKent, K.B. / Serra, M. et al. | 2002
- 28
-
Enhanced configurable parallel memory architectureVanne, J. / Aho, E. / Kuusilinna, K. / Hamalainen, T. et al. | 2002
- 38
-
Recursive bi-partitioning of netlists for large number of partitionsDrechsler, R. / Gunther, W. / Eschbach, T. / Linhard, L. / Angst, G. et al. | 2002
- 45
-
Folded bit-plane FIR filter architecture with changeable folding factorMilentijevic, I. / Ciric, V. / Tokic, T. / Vojinovic, O. et al. | 2002
- 53
-
Best polarity for low power XOR gate decompositionYinshui Xia, / Almaini, A.E.A. et al. | 2002
- 60
-
A hybrid evolutionary algorithm for Multi-FPGA systems designHidalgo, J.I. / Lanchares, J. / Ibarra, A. / Hermida, R. et al. | 2002
- 70
-
A flexible architecture for H.263 video codingGarrido, M.J. / Sanz, C. / Jimenez, M. / Meneses, J.M. et al. | 2002
- 78
-
The synthesis of a hardware scheduler for non-manifest loopsMansour, O. / Molenkamp, E. / Krol, T. et al. | 2002
- 86
-
Configurable memory organisation for communication applicationsSoininen, J.-P. / Pelkonen, A. / Roivainen, J. et al. | 2002
- 94
-
Enhanced reusability for SoC-based HW/SW co-designBoden, M. / Schneider, J. / Feske, K. / Rulke, S. et al. | 2002
- 102
-
Integrating a computational model and a run time system for image processing on a UAVAndersson, P. / Kuchcinski, K. / Nordberg, K. / Doherty, P. et al. | 2002
- 110
-
Specification and simulation of microprocessor operations and parallel instructionsFeijs, L. / Gorissen, P. / Trescher, J. et al. | 2002
- 118
-
Rapid prototyping of mixed hardware and software systemsEdwards, M. / Fozard, B. et al. | 2002
- 126
-
Integration of instruction set simulators into SystemC high level modelsOussorov, I. / Raab, W. / Hachmann, U. / Kravtsov, A. et al. | 2002
- 132
-
Architecture design of a scalable single-chip multi-processorTheelen, B.D. / Verschueren, A.C. et al. | 2002
- 140
-
Parallel multimedia processor using customised Infineon TriCoresWahyudi, A. / Omondi, A. et al. | 2002
- 148
-
Improving the operation autonomy of SIMD processing elements by using guarded instructions and pseudo branchesAnido, M.L. / Paar, A. / Bagherzadeh, N. et al. | 2002
- 156
-
Implementation of a streaming execution unitCheresiz, D. / Juurlink, B. / Vassiliadis, S. / Wijshoff, H.A.G. et al. | 2002
- 166
-
Testability improvements based on the combination of analytical and evolutionary approaches at RT levelStrnadel, J. / Kotasek, Z. et al. | 2002
- 174
-
Fault latencies of concurrent checking FSMsGoot, R. / Levin, I. / Ostanin, S. et al. | 2002
- 180
-
Using Formal Tools to Study Complex Circuits BehaviorAmblard, P. / Lagnier, F. / Levy, M. / Institute of Electrical and Electronics Engineers et al. | 2002
- 180
-
Using formal tools to study complex circuits behaviourAmblard, P. / Lagnier, F. / Levy, M. et al. | 2002
- 187
-
Integrated design and test generation under internet based environment MOSCITOSchneider, A. / Diener, K.-H. / Ivask, E. / Ubar, R. et al. | 2002
- 196
-
Networks on silicon: blessing or nightmare?Wielage, P. / Goossens, K. et al. | 2002
- 201
-
Embedded software: how to make it efficient?Marwedel, P. et al. | 2002
- 210
-
A design for a low-power digital matched filter applicable to W-CDMAGoto, S. / Yamada, T. / Takayama, N. / Yasuura, H. et al. | 2002
- 218
-
Analysis of the impact of different methods for division/square root computation in the performance of a superscalar microprocessorPiso, D. / Pineiro, J.A. / Bruguera, J.D. et al. | 2002
- 226
-
Reconfigurable hardware implementation of Montgomery modular multiplication and parallel binary exponentiationNedjah, N. / de Macedo Mourelle, L. et al. | 2002
- 236
-
Decision Diagrams Optimization Using Copy PropertiesJankovic, D. / Stankovic, R. / Drechsler, R. / Institute of Electrical and Electronics Engineers et al. | 2002
- 236
-
Decision diagram optimization using copy propertiesJankovic, D. / Stankovic, R.S. / Drechsler, R. et al. | 2002
- 244
-
Use of the autocorrelation function in the classification of switching functionsRice, J.E. / Muzio, J.C. et al. | 2002
- 252
-
Optimization of equational specifications using genetic techniquesIbarra, A. / Mendias, J.M. / Lanchares, J. / Hidalgo, J.I. / Hermida, R. et al. | 2002
- 259
-
Synthesis of multipurpose reversible logic gatesKerntopf, P. et al. | 2002
- 268
-
Performance of remote FPGA-based coprocessors for image-processing applicationsBenitez, D. et al. | 2002
- 276
-
Improving mW/MHz ratio in FPGAs pipelined designsCadenas, O. / Megson, G. et al. | 2002
- 283
-
Design of an FPGA based adaptive neural controller for intelligent robot navigationHannan Bin Azhar, M.A. / Dimond, K.R. et al. | 2002
- 291
-
Constant coefficient convolution implemented in FPGAsJamro, E. / Wiatr, K. et al. | 2002
- 299
-
An evaluation of an FPGA run-time support systemGreen, P. / Vakondios, M. / Edwards, M. et al. | 2002
- 308
-
Efficient verification of scheduling, allocation and binding in high-level synthesisMendias, J.M. / Hermida, R. / Molina, M.C. / Penalba, O. et al. | 2002
- 316
-
An efficient list-based scheduling algorithm for high-level synthesisSllame, A.M. / Drabek, V. et al. | 2002
- 324
-
Source code transformation to improve conditional hardware reusePenalba, O. / Mendias, J.M. / Hermida, R. et al. | 2002
- 332
-
Work out of the algorithm based on A-mod for detection of borderlines in images provided by the intravascular ultrasound system (IVUS) with 64 transducersVujovic, Z. et al. | 2002
- 332
-
Work Out of the Algorithm Based on A-mod for Detection Borderlines in Images Provided by the Intravascular Ultrasound System (IVUS) with 64 TransducersVujovic, Z. / Institute of Electrical and Electronics Engineers et al. | 2002
- 337
-
Reachability analysis for formal verification of SystemCDrechsler, R. / Grosse, D. et al. | 2002
- 341
-
Simplifying instruction issue logic in superscalar processorsSato, T. / Arita, I. et al. | 2002
- 347
-
A self-timed arithmetic unit for elliptic curve cryptographyFeldhofer, M. / Trathnigg, T. / Schnitzer, B. et al. | 2002
- 351
-
Low power strategy for a TFT controllerNotarangelo, G. / Gibilaro, M. / Pappalardo, F. / Pennisi, A. / Palumbo, G. et al. | 2002
- 355
-
Hardware implementation of a memory allocatorJasrotia, K. / Jianwen Zhu, et al. | 2002
- 359
-
Evolutionary algorithm for state assignment of finite state machinesChyzy, M. / Kosinski, W. et al. | 2002
- 364
-
Use of HDL code checkers to support the IP entrance check - a requirement analysisFrevert, R. / Rulke, S. / Schafer, T. / Dresig, F. et al. | 2002
- 371
-
On the fundamental design gap in terabit per second packet switchingVerhappen, M. / van der Putten, P.H.A. / Voeten, J.P.M. et al. | 2002
- 380
-
Speeding up elliptic cryptosystems using a new signed binary representation for integersKatti, R. et al. | 2002
- 385
-
Bit-level allocation of multiple-precision specificationsMolina, M.C. / Mendias, J.M. / Hermida, R. et al. | 2002
- 393
-
Author index| 2002
-
Proceedings Euromicro Symposium on Digital System Design. Architectures, Methods and Tools| 2002