A Constraint Driven Approach to Loop Pipelining and Register Binding (English)
- New search for: Mesman, B.
- New search for: Strik, M.
- New search for: Timmer, A. H.
- New search for: van Meerbergen, J. L.
- New search for: Jess, J. A.G.
- New search for: Association for Computing Machinery
- New search for: IEEE Computer Society
- New search for: Mesman, B.
- New search for: Strik, M.
- New search for: Timmer, A. H.
- New search for: van Meerbergen, J. L.
- New search for: Jess, J. A.G.
- New search for: Association for Computing Machinery
- New search for: IEEE Computer Society
In:
Design, automation and test in Europe; DATE 98
;
377-383
;
2007
-
ISBN:
- Conference paper / Print
-
Title:A Constraint Driven Approach to Loop Pipelining and Register Binding
-
Contributors:Mesman, B. ( author ) / Strik, M. ( author ) / Timmer, A. H. ( author ) / van Meerbergen, J. L. ( author ) / Jess, J. A.G. ( author ) / Association for Computing Machinery / IEEE Computer Society
-
Conference:Conference and Exhibition; 1st, Design, automation and test in Europe; DATE 98 ; 1998 ; Paris
-
Published in:DATE -PROCEEDINGS- CD-ROM EDITION ; 377-383
-
Publisher:
- New search for: ACM
-
Place of publication:New York
-
Publication date:2007-01-01
-
Size:7 pages
-
Remarks:Held on CD-ROM
-
ISBN:
-
Type of media:Conference paper
-
Type of material:Print
-
Language:English
-
Keywords:
-
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Table of contents conference proceedings
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Challenges of Digital Consumer and Mobile SOC's: More Moore Possible?Furuyama, T. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 1
-
EDA Challenges in the Converging Application Worldde Vries, R. P. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 2
-
Sociology of Design and EDARhines, W. C. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 2
-
IC Design Challenges for Ambient IntelligenceAarts, E. / Roovers, R. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 2
-
Higher Product Complexity and Shorter Development Time - Continuous Challenge to Design and Test EnvironmentJunkkari, J. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 2
-
Opportunities and Challenges in Building Silicon Products in 65nm and BeyondSpirakis, G. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 2
-
Collapsing the Transistor Chain to an Effective Single Equivalent TransistorChatzigeorgiou, A. / Nikolaidis, S. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 2
-
SoC in Nanoera: Challenges and Endless PossibilityKong, J. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 2
-
Was Darwin Wrong? Has Design Evolution Stopped at the RTL Level...or Will Software and Custom Processors (or System-Level Design) Extend Moore's Law?Naumann, A. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 3
-
Striking a New Balance in the Nanometer Era: First-Time-Right and Time-To-Market Demands Versus Technology ChallengesHughes, G. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 3
-
ATLAS: A Chip-Multiprocessor with Transactional Memory SupportNjoroge, N. / Casper, J. / Wee, S. / Teslyar, Y. / Ge, D. / Kozyrakis, C. / Olukotun, K. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 3
-
Communication-Aware Allocation and Scheduling Framework for Stream-Oriented Multi-Processor Systems-on-ChipRuggiero, M. / Guerri, A. / Bertozzi, D. / Poletti, F. / Milano, M. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 4
-
Automotive Electronics -- A Challenge for Systems EngineeringThoma, P. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 4
-
Code Selection for Media Processors with SIMD InstructionsLeupers, R. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 4
-
Fine-Grained Dynamic Voltage and Frequency Scaling for Precise Energy and Performance Trade-Off Based on the Ratio of Off-Chip Access to On-Chip Computation TimesChoi, K. / Soma, R. / Pedram, M. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 4
-
Abstraction of Word-Level Linear Arithmetic Functions from Bit-Level Component DescriptionsDasgupta, P. / Chakrabarti, P. / Nandi, A. / Krishna, S. / Chakrabarti, A. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 5
-
Testing in Nanometer TechnologiesWilliams, T. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 6
-
A Register Allocation Algorithm in the Presence of Scalar Replacement for Fine-Grain Configurable ArchitecturesBaradaran, N. / Diniz, P. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 7
-
Design of Fault-Secure Parity-Prediction Booth MultipliersNicolaidis, M. / Duarte, R. O. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 8
-
Computing Timed Transition Relations for Sequential Cycle-Based SimulationCabodi, G. / Camurati, P. / Passerone, C. / Quer, S. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 8
-
Semiconductor ChallengesCuomo, A. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 9
-
Biasing Symbolic Search by Means of Dynamic Activity ProfilesCabodi, G. / Camurati, P. / Quer, S. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 9
-
A Dynamically Adaptive DSP for Heterogeneous Reconfigurable PlatformsCampi, F. / Deledda, A. / Pizzotti, M. / Ciccarelli, L. / Rolandi, P. / Mucci, C. / Lodi, A. / Vitkovski, A. / Vanzolini, L. / Association for Computing Machinery et al. | 2007
- 9
-
Efficient Link Capacity and QoS Design for Network-on-ChipGuz, Z. / Walter, I. / Bolotin, E. / Cidon, I. / Ginosar, R. / Kolodny, A. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 9
-
Analysis of High-Level Address Code Transformations for Programmable ProcessorsGupta, S. / Miranda, M. / Catthoor, F. / Gupta, R. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 10
-
Hybrid Architectural Dynamic Thermal ManagementSkadron, K. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 12
-
On Nanoscale Integration and Gigascale Complexity in the Post .Com WorldDe Man, H. / Leuven, K. U. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 12
-
Global Responsibilities in SOC DesignScanlon, T. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 12
-
Resource Sharing and Pipelining in Coarse-Grained Reconfigurable Architecture for Domain-Specific OptimizationKim, Y. / Kiemb, M. / Park, C. / Jung, J. / Choi, K. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 13
-
Symbolic Reachability Analysis of Large Finite State Machines using Don't CaresHong, Y. / Beerel, P. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 14
-
How to Choose Semiconductor IP? -- Embedded ProcessorsPhillips, I. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 14
-
Free MDD-based Software Optimization Techniques for Embedded SystemsKim, C. / Lavagno, L. / Sangiovanni-Vincentelli, A. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 15
-
PASTEL: A Parameterized Memory Characterization SystemOgawa, K. / Kohno, M. / Kitamura, F. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 15
-
Make Your SOC Design a Winner: Select the Right Memory IPRatford, V. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 15
-
Supporting Task Migration in Multi-Processor Systems-on-Chip: A Feasibility StudyBertozzi, S. / Acquaviva, A. / Bertozzi, D. / Poggiali, A. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 15
-
An 0.9 X 1.2", Low Power, Energy-Harvesting System with Custom Multi-Channel Communication InterfaceStanley-Marbell, P. / Marculescu, D. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 16
-
Value-Conscious Cache: Simple Technique for Reducing Cache Access PowerChang, Y. / Yang, C. / Lai, F. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 16
-
How to Choose Semiconductor IP: Embedded SoftwareMartin, G. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 16
-
A Methodology for Interfacing Open Source SystemC with a Third Party SoftwareCharest, L. / Reid, M. / Aboulhamid, E. / Bois, G. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 17
-
IP Day: How to Choose Semiconductor IP?Bricaud, P. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 18
-
Improving the Efficiency of Memory Partitioning by Address ClusteringMacii, A. / Macii, E. / Poncino, M. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 18
-
A Study of the Speedups and Competitiveness of FPGA Soft Processor Cores Using Dynamic Hardware/Software PartitioningLysecky, R. / Vahid, F. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 20
-
Quantitative Comparison of Power Management AlgorithmsLu, Y. / Chung, E. / Simunic, T. / Benini, L. / De Micheli, G. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 20
-
Formal Verification of the Pentium 4 Floating-Point MultiplierKaivola, R. / Narasimhan, N. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 21
-
Time Domain Model Order Reduction by Wavelet Collocation MethodZheng, X. / Feng, L. / Su, Y. / Cai, W. / Zhou, D. / Chiang, C. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 21
-
Behavioral Synthesis with SystemCEconomakos, G. / Oikonomakos, P. / Panagopoulos, I. / Poulakis, I. / Papakonstantinou, G. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 21
-
An FPGA Based All-Digital Transmitter with Radio Frequency Output for Software Defined RadioYe, Z. / Grosspietsch, J. / Memik, G. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 22
-
FSMD Functional Partitioning for Low PowerHwang, E. / Vahid, F. / Hsu, Y. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 22
-
Hardware Resource Allocation for Hardware/Software Partitioning in the LYCOS SystemGrode, J. / Knudsen, P. V. / Madsen, J. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 22
-
State-Preserving vs. Non-State-Preserving Leakage Control in CachesParikh, D. / Sankaranarayanan, K. / Li, Y. / Skadron, K. / Zhang, Y. / Stan, M. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 24
-
A New Algorithm for Energy-Driven Data Compression in VLIW Embedded ProcessorsMacii, A. / Macii, E. / Crudo, F. / Zafalon, R. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 24
-
Reconfigurable Elliptic Curve Cryptosystems on a ChipCheung, R. / Luk, W. / Cheung, P. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 26
-
SystemC^S^V -- An Extension of SystemC for Mixed Multi-Level Communication Modeling and Interface-Based System DesignSiegmund, R. / Muller, D. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 27
-
Large Power Grid Analysis Using Domain DecompositionZhou, Q. / Sun, K. / Mohanram, K. / Sorensen, D. C. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 27
-
A Non-Intrusive Isolation Approach for Soft CoresSinanoglu, O. / Petrov, T. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 27
-
Efficient Power Co-Estimation Techniques for System-On-Chip DesignLajolo, M. / Raghunathan, A. / Dey, S. / Lavagno, L. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 28
-
Using Rewriting Rules and Positive Equality to Formally Verify Wide-Issue Out-of-Order Microprocessors with a Reorder BufferVelev, M. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 28
-
Hardware Software Partitioning with Integrated Hardware Design Space ExplorationSrinivasan, V. / Radhakrishnan, S. / Vemuri, R. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 29
-
A New Parameterizable Power Macro-Model for Datapath ComponentsJochens, G. / Kruse, L. / Schmidt, E. / Nebel, W. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 30
-
Arithmetic Reasoning in DPLL-Based SAT SolvingWedler, M. / Stoffel, D. / Kunz, W. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 30
-
An Infrastructure to Functionally Test Designs Generated by Compilers Targeting FPGAsRodrigues, R. / Cardoso, J. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 30
-
Power Efficiency through Application-Specific Instruction Memory TransformationsPetrov, P. / Orailoglu, A. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 32
-
FPGA Architecture for Multi-Style Asynchronous LogicHuot, N. / Dubreuil, H. / Fesquet, L. / Renaudin, M. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 33
-
Analysis and Modeling of Power Grid Transmission LinesBalachandran, J. / Brebels, S. / Carchon, G. / Webers, T. / De Raedt, W. / Nauwelaers, B. / Beyne, E. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 33
-
Unknown Blocking Scheme for Low Control Data Volume and High ObservabilityWang, S. / Wei, W. / Chakradhar, S. T. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 34
-
Test Resource Partitioning: A Design and Test IssueAssociation for Computing Machinery / IEEE Computer Society et al. | 2007
- 35
-
A Discrete-Time Battery Model for High-Level Power EstimationBenini, L. / Castelli, G. / Macii, A. / Macii, E. / Poncino, M. / Scarsi, R. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 36
-
Generation of Interconnect Topologies for Communication SynthesisGasteier, M. / Munch, M. / Glesner, M. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 36
-
Automatic Verification of In-Order Execution In Microprocessors with Fragmented Pipelines and Multicycle Functional UnitsMishra, P. / Dutt, N. / Nicolau, A. / Tomiyama, H. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 36
-
Enhanced Diameter Bounding via Structural TransformationBaumgartner, J. / Kuehlmann, A. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 36
-
Low Energy Data Management for Different On-Chip Memory Levels in Multi-Context Reconfigurable ArchitecturesSanchez-Elez, M. / Fernandez, M. / Anido, M. / Du, H. / Hermida, R. / Bagherzadeh, N. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 36
-
Analog and Digital Circuit Design in 65 nm CMOS: End of the Road?Gielen, G. / Dehaene, W. / Christie, P. / Draxelmayr, D. / Janssens, E. / Maex, K. / Vucurevich, T. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 38
-
Current Trends in the Design of Automotive Electronic SystemsAssociation for Computing Machinery / IEEE Computer Society et al. | 2007
- 38
-
An Efficient Reuse System for Digital Circuit DesignReutter, A. / Rosenstiel, W. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 39
-
Test Cost Reduction for SoC Using a Combined Approach to Test Data Compression and Test SchedulingZhou, Q. / Balakrishnan, K. J. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 39
-
A Logarithmic Full-Chip Thermal Analysis Algorithm Based on Multi-Layer Green's FunctionWang, B. / Mazumder, P. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 40
-
Component Selection and Matching for IP-Based DesignZhang, T. / Benini, L. / De Micheli, G. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 42
-
The Generalized Boundary Curve -- A Common Method for Automatic Nominal Design and Design Centering of Analog CircuitsSchwencker, R. / Schenkel, F. / Graeb, H. / Antreich, K. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 42
-
Improved Symbolic Simulation by Dynamic Functional Space PartitioningFeng, T. / Wang, L. / Cheng, K. / Lin, A. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 44
-
A Case Study for the Verification of Complex Timed Circuits: IPCMOSPena, M. / Cortadella, J. / Pastor, E. / Smirnov, A. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 44
-
The Design of an Asynchronous VHDL SynthesizerTan, S.-Y. / Furber, S. B. / Yen, W.-F. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 44
-
On-Chip Test Infrastructure Design for Optimal Multi-Site Testing of System ChipsGoel, S. / Marinissen, E. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 44
-
An MPEG-2 Video Encoder LSI with Scalability for HDTV based on Three-layer Cooperative ArchitectureIkeda, M. / Kondo, T. / Nitta, K. / Suguri, K. / Yoshitome, T. / Minami, T. / Naganuma, J. / Ogura, T. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 45
-
Large Scale RLC Circuit Analysis Using RLCG-MNA FormulationTanji, Y. / Watanabe, T. / Kubota, H. / Asai, H. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 45
-
High-Level Test Synthesis for Delay Fault TestabilityWang, S.-J. / Yeh, T.-H. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 47
-
A Universal Communication Model for an Automotive System Integration PlatformDemmeler, T. / Giusto, P. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 47
-
Soft Delay Error Analysis in Logic CircuitsGill, B. / Papachristou, C. / Wolff, F. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 48
-
A Hierarchical Approach for the Symbolic Analysis of Large Analog Integrated CircuitsGuerra, O. / Roca, E. / Fernandez, F. / Rodriguez-Vazquez, A. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 50
-
Global Wire Bus Configuration with Minimum Delay UncertaintyHuang, L. / Chen, H. / Wong, D. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 50
-
Using BDDs and ZBDDs for Efficient Identification of Testable Path Delay FaultsPadmanaban, S. / Tragoudas, S. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 50
-
Test Planning for Mixed-Signal SOCs with Wrapped Analog CoresSehgal, A. / Liu, F. / Ozev, S. / Chakrabarty, K. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 51
-
Bus Access Optimisation for FlexRay-based Distributed Embedded SystemsPop, T. / Pop, P. / Eles, P. / Peng, Z. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 52
-
Repartitioning and Technology Mapping of Electronic Hybrid SystemsGrimm, C. / Waldschmidt, K. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 52
-
Formal Verification of Word-Level SpecificationsHoreth, S. / Drechsler, R. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 53
-
A Built-In Redundancy-Analysis Scheme for RAMS with 2D Redundancy Using 1D Local BitmapTseng, T.-W. / Li, J.-F. / Chang, D.-M. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 53
-
Layout-Oriented Synthesis of High Performance Analog CircuitsDessouky, M. / Louerat, M. / Porte, J. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 54
-
FPGA Placement by Thermodynamic Combinatorial OptimizationDe Vicente, J. / Lanchares, J. / Hermida, R. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 55
-
An Efficient Architecture Model for Systematic Design of Application-Specific Multiprocessor SoCBaghdadi, A. / Lyonnard, D. / Zergainoh, N. / Jerraya, A. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 56
-
Timing Verification with Crosstalk for Transparently Latched CircuitsZhou, H. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 56
-
Logic Design for On-Chip Test Clock Generation - Implementation Details and Impact on Delay Test QualityBeck, M. / Barondeau, O. / Kaibel, M. / Poehl, F. / Lin, X. / Press, R. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 56
-
Level of Similarity: A Metric for Fault CollapsingPomeranz, I. / Reddy, S. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 57
-
A Decomposition-based Constraint Optimization Approach for Statically Scheduling Task Graphs with Communication Delays to MultiprocessorsSatish, N. / Ravindran, K. / Keutzer, K. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 58
-
Technology Mapping and Retargeting for Field-Programmable Analog ArraysGanesan, S. / Vemuri, R. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 59
-
VHDL-AMS: The Missing Link in System Design -- Experiments with Unified Modelling in Automotive EngineeringMoser, E. / Mittwollen, N. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 59
-
Analysis of the Impact of Bus Implemented EDCs on On-Chip SSNRossi, D. / Steiner, C. / Metra, C. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 59
-
Automatic Verification of Scheduling Results in High-Level SynthesisEveking, H. / Hinrichsen, H. / Ritter, G. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 61
-
An Enhanced Q-Sequence Augmented with Empty-Room-Insertion and Parenthesis TreesZhuang, C. / Kajitani, Y. / Sakanushi, K. / Jin, L. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 62
-
Statistical Timing Analysis Using BoundsAgarwal, A. / Blaauw, D. / Zolotov, V. / Vrudhula, S. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 62
-
Test Time Reduction Reusing Multiple Processors in a Network-on-Chip Based ArchitectureAmory, A. / Lubaszewski, M. / Moraes, F. / Moreno, E. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 62
-
Design of Routing-Constrained Low Power Scan ChainsBonhomme, Y. / Girard, P. / Guiller, L. / Landrault, C. / Pravossoudovitch, S. / Virazel, A. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 63
-
Design Closure Driven Delay Relaxation Based on Convex Cost Network FlowLin, C. / Xie, A. / Zhou, H. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 64
-
The Simulation Semantics of SystemCRuf, J. / Hoffmann, D. / Gerlach, J. / Kropf, T. / Rosenstiehl, W. / Mueller, W. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 65
-
Optimal Periodic Testing of Intermittent Faults in Embedded Pipelined Processor ApplicationsKranitis, N. / Merentitis, A. / Laoutaris, N. / Theodorou, G. / Paschalis, A. / Gizopoulos, D. / Halatsis, C. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 65
-
Verifying Imprecisely Working Arithmetic CircuitsHuhn, M. / Schneider, K. / Kropf, T. / Logothetis, G. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 66
-
The Challenges of Hardware Synthesis from C-like LanguagesEdwards, S. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 66
-
Scheduling and Module Assignment for Reducing BIST ResourcesParulkar, I. / Gupta, S. K. / Breuer, M. A. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 67
-
The Road to better Reliability and Yield Embedded DfM ToolsVeelenturf, K. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 68
-
Z-Sets and Z-Detections: Circuit Characteristics that Simplify Fault DiagnosisPomeranz, I. / Venkataraman, S. / Reddy, S. / Seshadri, B. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 68
-
Reduced Delay Uncertainty in High Performance Clock Distribution NetworksVelenis, D. / Friedman, E. / Papaefthymiou, M. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 68
-
Software Thread Integration and Synthesis for Real-Time ApplicationsDean, A. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 69
-
Yield Improvement and Repair Trade-Off for Large Embedded MemoriesZorian, Y. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 69
-
Arbitrary Convex and Concave Rectilinear Module Packing Using TCGLin, J. / Chen, H. / Chang, Y. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 69
-
Simulation-based Reusable Posynomial Models for MOS Transistor ParametersAggarwal, V. / O Reilly, U.-M. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 70
-
Applying UML and MDA to Real Systems DesignOliver, I. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 71
-
MetaRTL: Raising the Abstraction Level of RTL DesignZhu, J. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 71
-
Stay Away from Minimum Design-Rule ValuesStrolenberg, C. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 71
-
Berger Code-Based Concurrent Error Detection in Asynchronous Burst-Mode MachinesAlmukhaizim, S. / Makris, Y. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 72
-
Battery-Powered Digital CMOS DesignPedram, M. / Wu, Q. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 73
-
Two-Phase Resonant Clocking for Ultra-Low-Power Hearing Aid ApplicationsCarbognani, F. / Buergin, F. / Felber, N. / Kaeslin, H. / Fichtner, W. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 74
-
An Efficient Algorithm to Integrate Scheduling and Allocation in High-Level Test SynthesisYang, T. / Peng, Z. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 74
-
Energy Bounds for Fault-Tolerant Nanoscale DesignsMarculescu, D. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 74
-
System Level Design using C++Verkest, D. / Kunkel, J. / Schirrmeister, F. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 75
-
Trade-Off Design of Analog Circuits Using Goal Attainment and ``Wave Front'' Sequential Quadratic ProgrammingMueller, D. / Graeb, H. / Schlichtmann, U. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 76
-
A 2.7V 350μW 11-b Algorithmic Analog-to-Digital Converter with Single-Ended Multiplexed InputsNagari, A. / Nicollini, G. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 77
-
Dynamic Power Management for Non-Stationary Service RequestsChung, E. / De Micheli, G. / Benini, L. / Bogliolo, A. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 77
-
A Model for Describing Communication between Aggregate Objects in the Specification and Design of Embedded SystemsSvarstad, K. / Nicolescu, G. / Jerraya, A. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 78
-
A Test Design Method for Floating Gate Defects (FGD) in Analog Integrated CircuitsPronath, M. / Graeb, H. / Antreich, K. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 79
-
A Network-On-Chip with 3gbps/Wire Serialized On-Chip Interconnect Using Adaptive Control SchemesLee, S.-J. / Kim, K. / Kim, H. / Cho, N. / Yoo, H.-J. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 80
-
DVS for On-Chip Bus Designs Based on Timing Error CorrectionKaul, H. / Sylvester, D. / Blaauw, D. / Mudge, T. / Austin, T. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 81
-
A Single Photon Avalanche Diode Array Fabricated in Deep-Submicron CMOS TechnologyNiclass, C. / Sergio, M. / Charbon, E. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 81
-
An Efficient Methodology for Hierarchical Synthesis of Mixed-Signal Systems with Fully Integrated Building Block Topology SelectionEeckelaert, T. / Schoofs, R. / Gielen, G. / Steyaert, M. / Sansen, W. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 82
-
On Reducing Transitions through Data ModificationsMurgai, R. / Fujita, M. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 82
-
RAM-Based FPGA's: A Test Approach for the Configurable LogicRenovell, M. / Portal, J. M. / Figueras, J. / Zorian, Y. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 82
-
Digital Background Gain Error Correction in Pipeline ADCsGines, A. / Peralias, E. / Rueda, A. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 84
-
Masking the Energy Behavior of DES EncryptionSaputra, H. / Vijaykrishnan, S. / Kandemir, M. / Irwin, M. / Brooks, R. / Kim, S. / Zhang, W. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 84
-
Exact Grading of Multiple Path Delay FaultsPadmanaban, S. / Tragoudas, S. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 84
-
Techniques for Reducing Read Latency of Core Bus WrappersLysecky, R. / Vahid, F. / Givargis, T. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 86
-
Circuit Partitioning for Efficient Logic BIST SynthesisIrion, A. / Kiefer, G. / Vranken, H. / Wunderlich, H. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 86
-
Joint Power Management of Memory and DiskCai, L. / Lu, Y.-H. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 87
-
A Coefficient Optimization and Architecture Selection Tool for Sigma Delta Modulators in MATLABYetik, O. / Saglamdemir, O. / Talay, S. / Dundar, G. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 87
-
MATLAB/Simulink for Automotive Systems DesignFriedman, J. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 88
-
Digital Ground Bounce Reduction by Phase Modulation of the ClockBadaroglu, M. / Gielen, G. / De Man, H. / Wambacq, P. / Van Der Plas, G. / Donnay, S. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 89
-
Modeling Techniques and Tests for Partial Faults in Memory DevicesAl-Ars, Z. / van de Goor, A. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 89
-
Novel Technique for Testing FPGAsMetra, C. / Mojoli, G. / Pastore, S. / Salvi, D. / Sechi, G. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 89
-
Model-Based Development of In-Vehicle SoftwareConrad, M. / Doerr, H. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 90
-
Kernel Scheduling in Reconfigurable ComputingMaestre, R. / Hermida, R. / Fernandez, M. / Kurdahi, F. / Bagherzadeh, N. / Singh, H. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 90
-
Scheduling and Mapping of Conditional Task Graphs for the Synthesis of Low Power Embedded SystemsWu, D. / Al-Hashimi, B. / Eles, P. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 91
-
Model-Based Testing of Automotive ElectronicsLamberg, K. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 92
-
Designing Signal Processing Systems for FPGAsHeighton, J. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 92
-
Assertion-Based Design Exploration of DVS in Network Processor ArchitecturesYu, J. / Wu, W. / Chen, X. / Hsieh, H. / Yang, J. / Balarin, F. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 92
-
Formalized Three-Layer System-Level Reuse Model and Methodology for Embedded Data-Dominated ApplicationsVermeulen, F. / Catthoor, F. / Verkest, D. / De Man, H. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 92
-
Deterministic Software -Based Self-Testing of Embedded Processor CoresPaschalis, A. / Gizopoulos, D. / Kranitis, N. / Psarakis, M. / Zorian, Y. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 93
-
(694) Synthesis of Task and Message Activation Models in Real-Time Distributed Automotive SystemsZheng, W. / Di Natale, M. / Pinello, C. / Giusto, P. / Vincentelli, A. S. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 93
-
From UML/SysML to Matlab/Simulink: Current State and Future PerspectivesVanderperren, Y. / Dehaene, W. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 94
-
Pseudo-Random Sequence Based Tuning System for Continuous-Time FiltersBaschirotto, A. / D Amico, S. / Corsi, F. / Marzocca, C. / Matarrese, G. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 94
-
An Efficient TLM/T Modeling and Simulation Environment Based on Conservative Parallel Discrete Event PrinciplesViaud, E. / Pecheux, F. / Greiner, A. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 94
-
A New ATPG Algorithm to Limit Test Set Size and Achieve Multiple Detections of All FaultsLee, S. / Cobb, B. / Dworak, J. / Grimaila, M. / Mercer, M. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 96
-
ATM Traffic Shaper: ATSDiaz, J. C. / Plaza, P. / Crespo, J. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 96
-
Synthesis of Application-Specific Highly Efficient Multi-Mode Systems for Low-Power ApplicationsChiou, L. / Bhunia, S. / Roy, K. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 97
-
Memory Fault Diagnosis by Syndrome CompressionLi, J. / Wu, C. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 97
-
CRUSADE: Hardware/Software Co-Synthesis of Dynamically Reconfigurable Heterogeneous Real-Time Distributed Embedded SystemsDave, B. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 99
-
(287) An ILP Formulation for System-Level Application Mapping on Network Processor ArchitecturesOstler, C. / Chatha, K. S. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 99
-
Virtual Fault Simulation of Distributed IP-based DesignsDalpasso, M. / Bogliolo, A. / Benini, L. / Favalli, M. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 100
-
Instruction Scheduling for Dynamic Hardware ConfigurationPanainte, E. / Bertels, K. / Vassiliadis, S. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 100
-
Exploiting TLM and Object Introspection for System-Level SimulationBeltrame, G. / Sciuto, D. / Silvano, C. / Lyonnard, D. / Pilkington, C. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 102
-
A Crosstalk Aware Interconnect with Variable Cycle TransmissionLi, L. / Vijaykrishnan, N. / Kandemir, M. / Irwin, M. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 102
-
XFVHDL: A Tool for the Synthesis of Fuzzy Logic ControllersLago, E. / Jimenez, C. J. / Lopez, D. R. / Sanchez-Solano, S. / Barriga, A. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 102
-
Low Power Error Resilient Encoding for On-Chip Data BusesBertozzi, D. / Benini, L. / De Micheli, G. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 102
-
Diagnosis for Scan-Based BIST: Reaching Deep into the SignaturesBayraktaroglu, I. / Orailoglu, A. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 104
-
Virtual Compression through Test Vector Stitching for Scan Based DesignRao, W. / Orailoglu, A. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 105
-
(231) A Smooth Refinement Flow for Co-Designing HW and SW ThreadsDestro, P. / Fummi, F. / Pravadelli, G. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 105
-
Exploiting Conditional Instructions in Code Generation for Embedded VLIW ProcessorsLeupers, R. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 106
-
Fast Evaluation of Sequence Pair in Block Placement by Longest Common Subsequence ComputationTang, X. / Tian, R. / Wong, D. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 106
-
Efficient Assertion Based Verification Using TLMHabibi, A. / Tahar, S. / Samarah, A. / Li, D. / Mohamed, O. A. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 106
-
A Hybrid Prefetch Scheduling Heuristic to Minimize at Run-Time the Reconfiguration Overhead of Dynamically Reconfigurable HardwareResano, J. / Mozos, D. / Catthoor, F. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 108
-
High Speed Neural Network Chip for Trigger Purposes in High Energy PhysicsEppler, W. / Fischer, T. / Gemmeke, H. / Menchikov, A. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 108
-
Layout Conscious Bus Architecture Synthesis for Deep Submicron Systems on ChipThepayasuwan, N. / Doboli, A. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 110
-
Managing Power Consumption in Networks on ChipSimunic, T. / Boyd, S. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 110
-
Test Pattern Compression Using Prelude Vectors in Fan-Out Scan Chain with Feedback ArchitectureOh, N. / Kapur, R. / Williams, T. / Sproch, J. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 111
-
(521) Speeding Up SystemC Simulation through Process SplittingNaguib, Y. N. / Guindi, R. S. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 112
-
A New Effective and Efficient Multi-Level Partitioning AlgorithmSaab, Y. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 112
-
Optimized Generation of Data-Path from C Codes for FPGAsGuo, Z. / Buyukkurt, B. / Najjar, W. / Vissers, K. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 112
-
Vehicle Electric/Electronic Architecture -- One of the Most Important Challenges for OEM'sHettich, G. / Thurner, T. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 112
-
Constructing Portable Compiled Instruction-Set Simulators -- An ADL-Driven ApproachD Errico, J. / Qin, W. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 112
-
Path Delay Fault Testing of ICs with Embedded Intellectual Property BlocksNikolos, D. / Vergos, H. / Haniotakis, T. / Tsiatouhas, Y. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 114
-
Loop Shifting and Compaction for the High-Level Synthesis of Designs with Complex Control FlowGupta, S. / Dutt, N. / Nicolau, A. / Gupta, R. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 114
-
Using SAT for Combinational Equivalence CheckingGoldberg, E. / Prasad, M. / Brayton, R. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 116
-
A Technique for High Ratio LZW CompressionKnieser, M. / Weyer, D. / McIntyre, R. / Wolff, F. / Papachristou, C. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 117
-
AN FPGA DESIGN FLOW FOR RECONFIGURABLE NETWORK-BASED MULTI-PROCESSOR SYSTEMS ON CHIPKumar, A. / Hansson, A. / Huisken, J. / Corporaal, H. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 117
-
Faster Optimal Single-Row Placement with Fixed OrderingBrenner, U. / Vygen, J. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 117
-
Competitive Analysis of Dynamic Power Management Strategies for Systems with Multiple Power Savings StatesIrani, S. / Gupta, R. / Shukla, S. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 117
-
An Effective BIST Architecture for Fast Multiplier CoresPaschalis, A. / Gizopoulos, D. / Kranitis, N. / Psarakis, M. / Zorian, Y. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 118
-
A Methodology for Mapping Multiple Use-Cases onto Networks on ChipsMurali, S. / Coenen, M. / Radulescu, A. / Goossens, K. / De Micheli, G. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 118
-
CASPER: Concurrent Hardware-Software Co-Synthesis of Hard Real-Time Aperiodic and Periodic Specifications of Embedded System ArchitecturesDave, B. P. / Jha, N. K. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 120
-
Time-Domain Simulation of Sampled Weakly Nonlinear Systems Using Analytical Integration and Orthogonal Polynomial SeriesMartens, E. / Gielen, G. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 122
-
Fast Computation of Data Correlation Using BDDsZeng, Z. / Zhang, Q. / Harris, I. / Ciesielski, M. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 122
-
Layout Compaction for Yield Optimization via Critical Area MinimizationBourai, Y. / Shi, C. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 122
-
SystemC and System Verilog: Where do They Fit? Where are they going?Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 122
-
Combinational Equivalence Checking Using Boolean Satisfiability and Binary Decision DiagramsReda, S. / Salem, A. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 122
-
A CAD Framework for Generating Self-Checking Multipliers based On Residue CodesNoufal, I. / Nicolaidis, M. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 123
-
Hard Real-Time Reconfiguration Port SchedulingDittmann, F. / Frank, S. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 124
-
Contrasting a NoC and a Traditional Interconnect Fabric with Layout AwarenessAngiolini, F. / Meloni, P. / Carta, S. / Benini, L. / Raffo, L. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 124
-
AccuPower: An Accurate Power Estimation Tool for Superscalar MicroprocessorsPonomarev, D. / Kucuk, G. / Ghose, K. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 125
-
Stream Communication Between Real-Time Tasks in a High-Performance MultiprocessorLeijten, J. A.J. / van Meerbergen, J. L. / Timmer, A. H. / Jess, J. A.G. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 126
-
Hierarchical Variance Analysis for Analog Circuits Based on Graph Modelling and Correlation Loop TracingLiu, F. / Flomenberg, J. / Yasaratne, D. / Ozev, S. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 127
-
An Efficient Learning Procedure for Multiple Implication ChecksNovikov, Y. / Goldberg, E. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 128
-
Test Synthesis for Mixed-Signal SOC PathsOzev, S. / Bayraktaroglu, I. / Orailoglu, A. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 129
-
An Efficient Algorithm for Online Management of 2D Area of Partially Reconfigurable FPGAsCui, J. / Deng, Q. / He, X. / Gu, Z. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 130
-
Re-Configurable Bus Encoding Scheme for Reducing Power Consumption of the Cross Coupling Capacitance for Deep Sub-Micron Instruction BusWong, S. / Tsui, C. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 130
-
A Low Complexity Heuristic for Design of Custom Network-on-Chip ArchitecturesSrinivasan, K. / Chatha, K. S. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 130
-
RTOS Modeling for System Level DesignGerstlauer, A. / Yu, H. / Gajski, D. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 132
-
On Statistical Timing Analysis with Inter and Intra-die VariationsMangassarian, H. / Anis, M. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 132
-
Scheduling of Conditional Process Graphs for the Synthesis of Embedded SystemsEles, P. / Kuchcinski, K. / Peng, Z. / Doboli, A. / Pop, P. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 132
-
An Efficient Filter-based Approach for Combinational VerificationMukherjee, R. / Jain, J. / Takayama, K. / Fujita, M. / Abraham, J. / Fussell, D. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 132
-
IP is All About Implementation and Customer SatisfactionEssi, V. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 134
-
Using Problem Symmetry in Search Based Satisfiability AlgorithmsGoldberg, E. / Prasad, M. / Brayton, R. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 134
-
Analysis and Minimization of Test Time in a Combined BIST and External Test ApproachSugihara, M. / Date, H. / Yasuura, H. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 135
-
Improving Utilization of Reconfigurable Resources Using Two-Dimensional CompactionEl Farag, A. A. / El-Boghdadi, H. M. / Shaheen, S. I. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 136
-
A Dynamically Reconfigurable Packet-Switched Network-on-ChipPionteck, T. / Albrecht, C. / Koch, R. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 136
-
C/C ++ : Progress or Deadlock in System-Level SpecificationAssociation for Computing Machinery / IEEE Computer Society et al. | 2007
- 136
-
Modeling and Integration of Peripheral Devices in Embedded SystemsWang, S. / Malik, S. / Bergamaschi, R. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 136
-
Hierarchical Adaptive Dynamic Power ManagementRen, Z. / Krogh, B. / Marculescu, R. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 138
-
Using Combinational Verification for Sequential CircuitsRanjan, R. / Singhal, V. / Somenzi, F. / Brayton, R. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 138
-
Multi-Placement Structures for Fast and Optimized Placement in Analog Circuit SynthesisBadaoui, R. / Vemuri, R. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 138
-
An Integrated System-On-Chip Test FrameworkLarsson, E. / Peng, Z. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 138
-
Arbitrary Design of High Order Noise Transfer Function for a Novel Class of Reduced-Sample- Rate Delta-Sigma-Pipeline ADCsMajidzadeh, V. / Shoaei, O. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 140
-
Model Abstraction for Formal VerificationHsieh, Y.-W. / Levitan, S. P. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 141
-
Low-Power Warp Processor for Power Efficient High-Performance Embedded SystemsLysecky, R. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 141
-
CAS-BUS: A Scalable and Reconfigurable Test Access Mechanism for Systems on a ChipBenabdenebi, M. / Maroufi, W. / Marzouki, M. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 142
-
A Self-Tuning Cache Architecture for Embedded SystemsZhang, C. / Vahid, F. / Lysecky, R. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 142
-
BerkMin: A Fast and Robust Sat-SolverGoldberg, E. / Novikov, Y. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 142
-
Systematic Embedded Software Generation from SystemCHerrera, F. / Posadas, H. / Sanchez, P. / Villar, E. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 144
-
Systematic and Optimal Design of CMOS Two-Stage Opamps with Hybrid Cascode CompensationYavari, M. / Shoaei, O. / Rodriguez-Vazquez, A. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 145
-
Efficient Test Data Compression and Decompression for System-on-a-Chip Using Internal Scan Chains and Golomb CodingChandra, A. / Chakrabarty, K. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 145
-
Combinational Equivalence Checking using Satisfiability and Recursive LearningMarques-Silva, J. / Glass, T. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 146
-
Design and Test Space Exploration of Transport-Triggered ArchitecturesZivkovic, V. / Tangelder, R. / Kerkhoff, H. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 146
-
On-Chip Multi-Channel Waveform Monitoring for Diagnostics of Mixed-Signal VLSI CircuitsNoguchi, K. / Nagata, M. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 147
-
Using Dynamic Voltage Scaling to Reduce the Configuration Energy of Run Time Reconfigurable DevicesQu, Y. / Soininen, J.-P. / Nurmi, J. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 148
-
Scheduling Reusable Instructions for Power ReductionHu, J. / Vijaykrishnan, N. / Kim, S. / Kandemir, M. / Irwin, M. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 148
-
VHDL Modelling and Analysis of Fault Secure SystemsCoppens, J. / Al-Khalili, D. / Rozon, C. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 150
-
Dynamic Scheduling and Clustering in Symbolic Image ComputationCabodi, G. / Camurati, P. / Quer, S. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 150
-
Formally Verified Redundancy RemovalHendricx, S. / Claesen, L. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 150
-
Testing TAPed Cores and Wrapped Cores with the Same Test Access MechanismBenabdenbi, M. / Maroufi, W. / Marzouki, M. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 150
-
Systematic Stability-Analysis Method for Analog CircuitsVandersteen, G. / Bronckers, S. / Dobrovolny, P. / Rolain, Y. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 150
-
Noise Macromodel for Radio Frequency Integrated CircuitsXu, Y. / Li, X. / Li, P. / Pileggi, L. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 152
-
Low-Cost Multi-Gigahertz Test Systems Using CMOS FPGAs and PECLKeezer, D. / Gray, C. / Majid, A. / Taher, N. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 153
-
Register Transfer Level VHDL Models without ClocksMutz, M. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 153
-
A Shift Register Based Clause Evaluator for Reconfigurable SAT SolverSafar, M. / Shalan, M. / El-Kharashi, M. W. / Salem, A. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 154
-
Composite Signal Flow: A Computational Model Combining Events, Sampled Streams, and VectorsJantsch, A. / Bjureus, P. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 156
-
Approximation Approach for Timing Jitter Characterization in Circuit SimulatorsGourary, M. / Rusakov, S. / Ulyanov, S. / Zharov, M. / Gullapalli, K. / Mulvaney, B. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 156
-
Using Counter Example Guided Abstraction Refinement to Find Complex BugsBjesse, P. / Kukula, J. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 156
-
ALAMO: An Improved Sigma-Space Based Methodology for Modeling Process Parameter Variations in Analog CircuitsZhang, H. / Zhao, Y. / Doboli, A. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 156
-
On Applying the Set Covering Model to ReseedingChiusano, S. / Di Carlo, S. / Prinetto, P. / Wunderlich, H. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 158
-
Noise Figure Evaluation Using Low Cost BISTNegreiros, M. / Carro, L. / Susin, A. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 158
-
Wire Placement for Crosstalk Energy Minimization in Address BusesMacchiarulo, L. / Macii, E. / Poncino, M. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 158
-
Logic Transformation for Low Power SynthesisKim, K. / Kang, S. / Hwang, T. / Liu, C. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 159
-
Efficient High-Performance ASIC Implementation of JPEG-LS EncoderPapadonikolakis, M. / Pantazis, V. / Kakarountas, A. P. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 159
-
Parallel VHDL SimulationNaroska, E. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 161
-
MASCOT: A Specification and Cosimulation Method Integrating Data and Control FlowBjureus, P. / Jantsch, A. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 162
-
Cost-Efficient Block Verification for a UMTS Up-Link Chip-Rate CoprocessorFey, G. / Stoffel, D. / Trylus, H. / Winkelmann, K. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 162
-
Data Management -- Limiter or Accelerator for Electronic Design CreativityAssociation for Computing Machinery / IEEE Computer Society et al. | 2007
- 162
-
A Synthesis Tool for Power-Efficient Base-Band Filter DesignGiannini, V. / Nuzzo, P. / De Bernardinis, F. / Craninckx, J. / Come, B. / D Amico, S. / Baschirotto, A. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 162
-
A Model of Computation for Continuous-Time Delta-Sigma ModulatorsMartens, E. / Gielen, G. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 163
-
Dynamic VTH Scaling Scheme for Active Leakage Power ReductionKim, C. / Roy, K. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 163
-
Glitch Power Minimization by Gate FreezingBenini, L. / De Micheli, G. / Macii, A. / Macii, E. / Poncino, M. / Scarsi, R. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 164
-
Specification Test Compaction for Analog Circuits and MEMSBiswas, S. / Blanton, R. / Pileggi, L. / Li, P. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 164
-
Efficient Bit-Error-Rate Estimation of Multicarrier TransceiversVandersteen, G. / Wambacq, P. / Rolain, Y. / Schoukens, J. / Donnay, S. / Engels, M. / Bolsens, I. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 164
-
An Efficient Static Algorithm for Computing the Soft Error Rates of Combinational CircuitsRao, R. / Chopra, K. / Blaauw, D. / Sylvester, D. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 165
-
Improve CAM Power Efficiency Using Decoupled Match Line SchemeChang, Y.-J. / Liao, Y.-H. / Ruan, S.-J. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 166
-
Testing DSP Cores Based on Self-Test ProgramsZhao, W. / Papachristou, C. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 168
-
Automatic Verification of Safety and Liveness for XScale-Like Processor Models Using WEB RefinementsManolios, P. / Srinivasan, S. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 168
-
Profile-Based Dynamic Voltage Scheduling Using Program CheckpointsAzevedo, A. / Issenin, I. / Cornea, R. / Gupta, R. / Dutt, N. / Veidenbaum, A. / Nicolau, A. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 168
-
Behavioural Modelling and Simulation of Delta-Sigma Modulators Using Hardware Description LanguagesCastro-Lopez, R. / Fernandez, F. / Medeiro, F. / Rodriguez-Vazquez, A. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 168
-
Spanning Tree Based State Encoding for Low Power DissipationNoth, W. / Kolla, R. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 169
-
Efficient Time -Domain Simulation of Telecom Frontends Using a Complex Damped Exponential Signal ModelVanassche, P. / Gielen, G. / Sansen, W. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 169
-
Delay-Insensitive Interface Specification and SynthesisJosephs, M. / Furey, D. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 170
-
Optimising Test Sets for a Low Noise Amplifier with a Defect-Oriented ApproachDanelon, V. / Carbonero, J. / Kheriji, R. / Mir, S. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 170
-
Low-Cost and Highly Reliable Detector for Transient and Crosstalk Faults Affecting FPGA InterconnectsOmana, M. / Cazeaux, J. M. / Rossi, D. / Metra, C. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 171
-
Cyclostationary Feature Detection on a Tiled-SoCKokkeler, A. B.J. / Smit, G. J.M. / Krol, T. / Kuper, J. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 172
-
IEEE 1149.4 Compatible ABMs for Basic RF MeasurementsSyri, P. / Hakkinen, J. / Moilanen, M. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 173
-
Self-Adjusting Output Data Compression: An Efficient BIST Technique for RAMsYarmolik, V. N. / Hellebrand, S. / Wunderlich, H.-J. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 174
-
Fault-Trajectory Approach for Fault Diagnosis on Analog CircuitsSavioli, C. / Czendrodi, C. / Calvano, J. / Mesquita, A. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 175
-
Peak Power Estimation using Genetic Spot Optimization for Large VLSI CircuitsHsiao, M. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 176
-
A Probabilistic Method for the Computation of Testability of RTL ConstructsFernandes, J. / Santos, M. / Oliveira, A. / Teixeira, J. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 176
-
A 50 Mbit/s Iterative Turbo-DecoderViglione, F. / Masera, G. / Piccinini, G. / Roch, M. / Zamboni, M. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 176
-
Simulation Method to Extract Characteristics for Digital Wireless Communication SystemsNguyen, L. / Janicot, V. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 176
-
Sizing Power/Ground Meshes for Clocking and Computing Circuit ComponentsMukherjee, A. / Wang, K. / Chen, L. / Marek-Sadowska, M. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 176
-
Evaluating Coverage of Error Detection Logic for Soft Errors Using Formal MethodsKrautz, U. / Pflanz, M. / Jacobi, C. / Tast, H. W. / Weber, K. / Vierhaus, H. T. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 177
-
Mapping Control-Intensive Video Kernels onto a Coarse-Grain Reconfigurable Architecture: The H.264/AVC Deblocking FilterArbelo, C. / Kanstein, A. / Lopez, S. / Lopez, J. F. / Berekovic, M. / Sarmiento, R. / Mignolet, J.-Y. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 178
-
Secure Embedded Processing through Hardware-Assisted Run-time MonitoringArora, D. / Jha, N. / Ravi, S. / Raghunathan, A. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 180
-
Built-In Self-Test with an Alternating OutputBogue, T. / Gossel, M. / Jurgensen, H. / Zorian, Y. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 181
-
Smart Antenna Receiver based on a Single Chip Solution for GSM/DCS Baseband ProcessingGirola, U. / Picciriello, A. / Vincenzoni, D. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 182
-
Microprocessor Power Analysis by Labeled SimulationHsieh, C. / Chen, L. / Pedram, M. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 182
-
Soft-Error Classification and Impact Analysis on Real-Time Operating SystemsIgnat, N. / Nicolescu, B. / Savaria, Y. / Nicolescu, G. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 182
-
Graph-Based Functional Test Program Generation for Pipelined ProcessorsMishra, P. / Dutt, N. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 182
-
Virtual Socket Interface AllianceSeepold, R. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 183
-
An Efficient Hardware Architecture for H.264 Intra Prediction AlgorithmSahin, E. / Hamzaoglu, I. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 184
-
Energy-Aware Routing for E-Textile ApplicationsKao, J.-C. / Marculescu, R. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 184
-
Schedulability Analysis and Optimization for the Synthesis of Multi-Cluster Distributed Embedded SystemsPop, P. / Eles, P. / Peng, Z. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 184
-
A Method to Diagnose Faults in Linear Analog Circuits using an Adaptive TesterCota, E. / Carro, L. / Lubaszewski, M. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 186
-
Protocol Stack-based Telecom-EmulatorMurooka, T. / Miyazaki, T. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 186
-
A Signature Test Framework for Rapid Production Testing of RF CircuitsVoorakaranam, R. / Cherubal, S. / Chatterjee, A. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 186
-
From Algorithms to Hardware Architectures: A Comparison of Regular and Irregular Structured IDCT AlgorithmsSchneider, C. / Kayss, M. / Hollstein, T. / Deicke, J. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 188
-
Automatic Generation of Validation Stimuli for Application-Specific ProcessorsGoloubeva, O. / Reorda, M. S. / Violante, M. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 188
-
40Gbps De-Layered Silicon Protocol Engine for TCP RecordShrikumar, H. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 189
-
An FPGA Implementation of Decision Tree ClassificationNarayanan, R. / Honbo, D. / Memik, G. / Choudhary, A. / Zambreno, J. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 189
-
Minimal Length Diagnostic Tests for Analog Circuits using Test HistoryGomes, A. V. / Chatterjee, A. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 190
-
LORD: A Localized, Reactive and Distributed Protocol for Node Scheduling in Wireless Sensor NetworksGhosh, A. / Givargis, T. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 190
-
A General Framework for Analysing System Properties in Platform-Based Embedded System DesignsChakraborty, S. / Kuenzli, S. / Thiele, L. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 190
-
Power Aware Microarchitecture Resource ScalingIyer, A. / Marculescu, D. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 191
-
Smart Pixel Implementation of a 2-D Parallel Nucleic Wavelet Transform for Mobile Multimedia CommunicationsRassau, A. M. / Eshraghian, K. / Cheung, H. / Lachowicz, S. W. / Yu, T. C.B. / Crossland, W. A. / Wilkinson, T. D. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 192
-
Analog IP Testing: Diagnosis and OptimizationGuardiani, C. / McNamara, P. / Daldoss, L. / Saxena, S. / Zanella, S. / Xiang, W. / Liu, S. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 194
-
A Reconfigurable HW/SW Platform for Computation Intensive High-Resolution Real-Time Digital Film Applicationsdo Carmo Lucas, A. / Heithecker, S. / Rueffer, P. / Ernst, R. / Rueckert, H. / Wischermann, G. / Gebel, K. / Fach, R. / Huther, W. / Eichner, S. et al. | 2007
- 194
-
Transformational Placement and SynthesisDonath, W. / Kudva, P. / Stok, L. / Villarrubia, P. / Reddy, L. / Sullivan, A. / Chakraborty, K. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 194
-
Efficient Static Compaction of Test Sequence Sets through the Application of Set Covering TechniquesDimopoulos, M. / Linardis, P. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 195
-
Radix 4 SRT Division with Quotient Prediction and Operand ScalingSrivastava, N. R. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 195
-
Parametric Fault Diagnosis for Analog Systems using Functional MappingCherubal, S. / Chatterjee, A. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 196
-
VLSI Architecture for Lossless Compression of Medical Images Using the Discrete Wavelet TransformUrriza, I. / Artigas, J. I. / Garcia, J. I. / Barragan, L. A. / Navarro, D. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 196
-
Exact High Level WCET Analysis of Synchronous Programs by Symbolic State Space ExplorationLogothetis, G. / Schneider, K. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 196
-
Energy Efficiency of the IEEE 802.15.4 Standard in Dense Wireless Microsensor Networks: Modeling and Improvement PerspectivesBougard, B. / Catthoor, F. / Daly, D. / Chandrakasan, A. / Dehaene, W. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 197
-
Extending Lifetime of Portable Systems by Battery SchedulingBenini, L. / Castelli, G. / Macii, A. / Macii, E. / Poncino, M. / Scarsi, R. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 197
-
A New Design Flow and Testability Measure for the Generation of a Structural Test and BIST for Analogue and Mixed-Signal CircuitsHoffmann, C. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 200
-
Disclosing the LDPC Code Decoder Design SpaceBrack, T. / Kienle, F. / Wehn, N. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 201
-
SoC Testing Using LFSR Reseeding, and Scan-Slice-Based TAM Optimization and Test SchedulingWang, Z. / Chakrabarty, K. / Wang, S. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 202
-
Data Reuse Analysis Technique for Software-Controlled Memory HierarchiesIssenin, I. / Dutt, N. / Brockmeyer, E. / Miranda, M. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 202
-
Power and Delay Reduction via Simultaneous Logic and Placement Optimization in FPGAsKumthekar, B. / Somenzi, F. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 202
-
Lifetime Modeling of a Sensor NetworkRai, V. / Mahapatra, R. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 202
-
Temporal Partitioning Combined with Design Space Exploration for Latency Minimization of Run-Time Reconfigured DesignsKaul, M. / Vemuri, R. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 204
-
A Model for System-Level Timed Analysis and ProfilingAllara, A. / Fornaciari, W. / Salice, F. / Sciuto, D. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 204
-
Efficient Spectral Techniques for Sequential ATPGGiani, A. / Sheng, S. / Hsiao, M. / Agrawal, V. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 204
-
Rapid Prototyping of Flexible Embedded Systems on Multi-DSP ArchitecturesRinner, B. / Schmid, M. / Weiss, R. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 205
-
Built-In Dynamic Current Sensor for Hard-to-Detect Faults in Mixed-Signal ICsLechuga, Y. / Mozuelos, R. / Martinez, M. / Bracho, S. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 206
-
A Fast Concurrent Power-Thermal Model for Sub-100nm Digital ICsRossello, J. / Canals, V. / Bota, S. / Segura, J. / Keshavarzi, A. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 206
-
Automating Processor Customisation: Optimised Memory Access and Resource SharingDimond, R. / Mencer, O. / Luk, W. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 207
-
Optimized Integration of Test Compression and Sharing for SoC TestingLarsson, A. / Larsson, E. / Eles, P. / Peng, Z. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 208
-
Automatic Tuning of Two-Level Caches to Embedded ApplicationsGordon-Ross, A. / Vahid, F. / Dutt, N. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 208
-
Constructive Library-Aware Synthesis using SymmetriesKravets, V. / Sakallah, K. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 209
-
On the Test of Microprocessor IP CoresCorno, F. / Reorda, M. S. / Squillero, S. / Violante, M. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 210
-
Time Constrained Modulo Scheduling with Global Resource SharingJaschke, C. / Beckmann, F. / Laur, R. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 211
-
Efficient Compilation of Process-Based Concurrent Programs without Run-Time SchedulingLin, B. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 212
-
DFT for Testing High-Performance Pipelined Circuits with Slow-Speed TestersNummer, M. / Sachdev, M. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 212
-
Activity Packing in FPGAs for Leakage Power ReductionHassan, H. / Anis, M. / El Daher, A. / Elmasry, M. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 212
-
Automatic Identification of Application-Specific Functional Units with Architecturally Visible StorageBiswas, P. / Dutt, N. / Ienne, P. / Pozzi, L. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 213
-
A Sophisticated Memory Test Engine for LCD Display DriversSpang, O. / Von Staudt, H.-M. / Wahl, M. G. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 214
-
E-Design Based on the Reuse ParadigmGhanmi, L. / Ghrab, A. / Hamdoun, M. / Missaoui, B. / Skiba, K. / Saucier, G. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 214
-
Sequence Reordering to Improve the Levels of Compaction Achievable by Static Compaction ProceduresPomeranz, I. / Reddy, S. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 214
-
Low Static-Power Frequent-Value Data CachesZhang, C. / Yang, J. / Vahid, F. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 216
-
A BIST Scheme for On-Chip ADC and DAC TestingHuang, J. / Ong, C. / Cheng, K. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 217
-
Polynomial Methods for Allocating Complex ComponentsSmith, J. / De Micheli, G. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 218
-
Combining Algorithm Exploration with Instruction Set Design: A Case Study in Elliptic Curve CryptographyGroszschaedl, J. / Ienne, P. / Pozzi, L. / Tillich, S. / Verma, A. K. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 218
-
Simultaneous Partitioning and Frequency Assignment for On-chip Bus ArchitecturesSrinivasan, S. / Li, L. / Vijaykrishnan, N. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 218
-
A Macroscopic Time and Cost Estimation Model Allowing Task Parallelism and Hardware Sharing for the Codesign Partitioning ProcessMaestro, J. A. / Mozos, D. / Mecha, H. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 218
-
Extending JTAG for Testing Signal Integrity in SoCsAhmed, N. / Tehranipour, M. / Nourani, M. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 219
-
SEU Effect Analysis in an Open-Source Router via a Distributed Fault Injection EnvironmentBenso, A. / Di Carlo, S. / Di Natale, G. / Prinetto, P. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 219
-
Formal Verification of a Pervasive Interconnect Bus System in a High-Performance MicroprocessorLe, T. / Glokler, T. / Baumgartner, J. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 220
-
Using a Victim Buffer in an Application-Specific Memory HierarchyZhang, C. / Vahid, F. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 221
-
Internet-Based Collaborative Test Generation with MOSCITOSchneider, A. / Diener, K. / Ivask, E. / Raik, J. / Ubar, R. / Miklos, P. / Cibakova, T. / Gramatova, E. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 221
-
An On Chip ADC Test StructureWen, Y. / Lee, K. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 223
-
Accounting for Various Register Allocation Schemes During Post-Synthesis Verification of RTL DesignsMansouri, N. / Vemuri, R. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 224
-
Modeling and Analysis of Loading Effect in Leakage of Nano-Scaled Bulk-CMOS Logic CircuitsMukhopadhyay, S. / Bhunia, S. / Roy, K. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 224
-
Simultaneously Improving Code Size, Performance, and Energy in Embedded ProcessorsZmily, A. / Kozyrakis, C. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 224
-
EBIST: A Novel Test Generator with Built-In Fault Detection CapabilityPradhan, D. / Liu, C. / Chakraborty, K. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 225
-
Low Cost Debug Architecture Using Lossy Compression for Silicon DebugAnis, E. / Nicolici, N. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 226
-
Reuse of Existing Resources for Analog BIST of a Switch Capacitor FilterCota, E. / Carro, L. / Renovell, M. / Lubaszewski, M. / Azais, F. / Bertrand, Y. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 226
-
The Programmable Platform: Does One Size Fit All?Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 226
-
A Scalable Methodology for Cost Estimation in a Transformational High-Level Design Space Exploration EnvironmentGerlach, J. / Rosentiel, W. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 227
-
A Two-Tier Distributed Electronic Design FrameworkKazmierski, T. / Clayton, N. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 228
-
High Security SmartcardsAssociation for Computing Machinery / IEEE Computer Society et al. | 2007
- 228
-
Slicing Tree is a Complete Floorplan RepresentationLai, M. / Wong, D. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 230
-
Quantitative Analysis of Transaction Level Models for the AMBA BusSchirner, G. / Doemer, R. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 230
-
Leakage-Aware Interconnect for On-Chip NetworkTsai, Y.-F. / Narayaynan, V. / Xie, Y. / Irwin, M. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 230
-
A Partition-Based Approach for Identifying Failing Scan Cells in Scan-BIST with Applications to System-On-Chip Fault DiagnosisLiu, C. / Chakrabarty, K. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 231
-
An SoC Test Scheduling Algorithm Using Reconfigurable Union WrappersYoneda, T. / Imanishi, M. / Fujiwara, H. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 232
-
Embedded System Design Based On WebservicesRettberg, A. / Thronicke, W. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 232
-
A BDD-based Satisfiability Infrastructure using the Unate Recursive ParadigmKalla, P. / Zeng, Z. / Ciesielski, M. / Huang, C. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 232
-
A Digital Partial Built-In-Self-Test Structure for a High Performance Automatic Gain Control CircuitLechner, A. / Ferguson, J. / Richardson, A. / Hermes, B. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 233
-
Further Improve Circuit Partitioning Using GBAW Logic Perturbation TechniquesCheung, C. / Wu, Y. / Cheng, D. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 234
-
Object-Oriented Modelling of Parallel Hardware SystemsSchumacher, G. / Nebel, W. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 234
-
Energy-Aware Communication and Task Scheduling for Network-on-Chip Architectures Under Real-Time ConstraintsHu, J. / Marculescu, R. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 234
-
Centralized Run-Time Resource Management in a Network-on-Chip Containing Reconfigurable Hardware TilesNollet, V. / Marescaux, T. / Avasare, P. / Mignolet, J.-Y. / Verkest, D. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 236
-
Combining Simulation and Formal Methods for System-Level Performance AnalysisKuenzli, S. / Poletti, F. / Benini, L. / Thiele, L. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 237
-
Microprocessors in the Era of Terascale IntegrationBorkar, S. / Jouppi, N. P. / Stenstrom, P. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 237
-
Automatic Lighthouse Generation for Directed State Space SearchYalagandula, P. / Singhal, V. / Aziz, A. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 238
-
Who Owns the Platform?Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 238
-
Time-Varying, Frequency-Domain Modeling and Analysis of Phase-Locked Loops with Sampling Phase-Frequency DetectorsVanassche, P. / Gielen, G. / Sansen, W. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 239
-
Design, Characterization and Modeling of a CMOS Magnetic Field SensorLatorre, L. / Bertrand, Y. / Nouet, P. / Pressecq, F. / Hazard, P. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 240
-
Symmetric Multiprocessing on Programmable Chips Made EasyHung, A. / Bishop, W. / Kennings, A. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 240
-
A Low Cost Individual-Well Adaptive Body Bias (IWABB) Scheme for Leakage Power Reduction and Performance Enhancement in the Presence of Intra-Die VariationsChen, T. / Gregg, J. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 240
-
Clustering Based Fast Clock Scheduling for Light Clock-TreeSaitoh, M. / Azuma, M. / Takahashi, A. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 240
-
IP for Embedded RobustnessNicolaidis, M. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 242
-
Formal Performance Analysis and Simulation of UML/SysML Models for ESL DesignViehl, A. / Schoenwald, T. / Bringmann, O. / Rosenstiel, W. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 242
-
Embedded Diagnosis IPPateras, S. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 242
-
A Flexible Message Passing Mechanism for Objective VHDLPutzke-Roming, W. / Radetzki, M. / Nebel, W. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 243
-
Analyzing Real-Time SystemsRuf, J. / Kropf, T. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 243
-
CMCal: An Accurate Analytical Approach for the Analysis of Process Variations with Non-Gaussian Parameters and Nonlinear FunctionsZhang, M. / Olbrich, M. / Seider, D. / Frerichs, M. / Kinzelbach, H. / Barke, E. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 244
-
Fast, Robust DC and Transient Fault Simulation for Nonlinear Analogue CircuitsYang, Z. / Zwolinski, M. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 244
-
A New Simulation Technique for Periodic Small-Signal AnalysisGourary, M. / Rusakov, S. / Ulyanov, S. / Zharov, M. / Mulvaney, J. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 244
-
Embedded Robustness IPsDupont, E. / Nicolaidis, M. / Rohr, P. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 246
-
Power-Efficient Layered Turbo Decoder ProcessorDielissen, J. / van Meerbergen, J. / Bekooij, M. / Harmsze, F. / Sawitzki, S. / Huisken, J. / van der Werf, A. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 246
-
A Logic Level Design Methodology for a Secure DPA Resistant ASIC or FPGA ImplementationTiri, K. / Verbauwhede, I. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 246
-
A Complete Network-On-Chip Emulation FrameworkGenko, N. / De Micheli, G. / Atienza, D. / Mendias, J. / Hermida, R. / Catthoor, F. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 248
-
CHESMIN: A Heuristic for State Reduction in Incompletely Specified Finite State MachinesGoren, S. / Ferguson, F. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 248
-
Performance Evaluation for System-on-Chip Architectures Using Trace-Based Transaction Level SimulationWild, T. / Herkersdorf, A. / Ohlendorf, R. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 249
-
On Analog Signature AnalysisNovak, F. / Hvala, B. / Klavzar, S. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 249
-
A Symbolic Methodology for the Verification of Analog and Mixed Signal DesignsAl-Sammane, G. / Zaki, M. H. / Tahar, S. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 250
-
Generalized Posynomial Performance ModelingEeckelaert, T. / Daems, W. / Gielen, G. / Sansen, W. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 250
-
A Generic Architecture for On-Chip Packet-Switched InterconnectionsGuerrier, P. / Greiner, A. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 250
-
Enhanced Reuse and Teamwork Capabilities for an Object-Oriented Extension of VHDLMrva, M. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 252
-
Power Minimization in a Backlit TFT-LCD Display by Concurrent Brightness and Contrast ScalingCheng, W. / Hou, Y. / Pedram, M. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 252
-
Exploiting Data Forwarding to Reduce the Power Budget of VLIW Embedded ProcessorsSami, M. / Sciuto, D. / Silvano, C. / Zaccaria, V. / Zafalon, R. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 252
-
Low Cost Task Migration Initiation in a Heterogeneous MP-SoCNollet, V. / Avasare, P. / Mignolet, J.-Y. / Verkest, D. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 254
-
Predictable Embedding of Large Data Structures in Multiprocessor Networks-On-ChipStuijk, S. / Basten, T. / Mesman, B. / Geilen, M. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 254
-
Is ``Network'' the Next ``Big Idea'' in Design?Marculescu, R. / Rabaey, J. / Sangiovanni-Vincentelli, A. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 255
-
Efficient Nonlinear Distortion Analysis of RF CircuitsTannir, D. / Khazaka, R. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 255
-
Generalized Early Evaluation in Self-Timed CircuitsThornton, M. / Fazel, K. / Reese, R. / Traver, C. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 256
-
Holmes: Capturing the Yield-Optimized Design Space Boundaries of Analog and RF Integrated CircuitsDe Smedt, B. / Gielen, G. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 256
-
The Rugby Model: A Conceptual Frame for the Study of Modelling, Analysis and Synthesis Concepts of Electronic SystemsJantsch, A. / Hemani, A. / Kumar, S. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 257
-
Verifying Analog Oscillator Circuits Using Forward/Backward Abstraction RefinementFrehse, G. / Krogh, B. H. / Rutenbar, R. A. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 257
-
Memory Arbitration and Cache Management in Stream-based SystemsHarmsze, F. / Timmer, A. / van Meerbergen, J. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 257
-
Formal Specification in VHDL for Hardware VerificationReetz, R. / Schneider, K. / Kropf, T. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 258
-
Top-Down Design of a Low-Power Multi-Channel 2.5-Gbit/s/Channel Gated Oscillator Clock-Recovery CircuitMuller, P. / Leblebici, Y. / Atarodi, M. / Tajalli, A. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 258
-
Design of Low-Power High-Speed Maximum a Priori Decoder ArchitecturesWorm, A. / Lamm, H. / Wehn, N. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 260
-
Dual Threshold Voltage Domino Logic Synthesis for High Performance with Noise and Power ConstraintJung, S. / Kim, K. / Kang, S. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 260
-
Managing Don't Cares in Boolean SatisfiabilitySafarpour, S. / Veneris, A. / Drechsler, R. / Lee, J. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 261
-
Nonlinearity Analysis of Analog/RF Circuits Using Combined Multisine and Volterra AnalysisBorremans, J. / De Locht, L. / Wambacq, P. / Rolain, Y. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 263
-
Efficient AC Analysis of Oscillators Using Least-Squares MethodsMei, T. / Roychowdhury, J. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 263
-
MOCSYN: Multiobjective Core-Based Single-Chip System SynthesisDick, R. / Jha, N. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 263
-
HW/SW Codesign of an Engine Management SystemBaleani, M. / Ferrari, A. / Sangiovanni-Vincentelli, A. / Turchetti, C. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 264
-
High-Level Allocation to Minimize Internal Hardware WastageMolina, M. / Mendias, J. / Hermida, R. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 264
-
MINLP Based Topology Synthesis for Delta Sigma Modulators Optimized for Signal Path Complexity, Sensitivity and Power ConsumptionTang, H. / Wei, Y. / Doboli, A. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 266
-
A Low-Redundancy Approach to Semi-Concurrent Error Detection in Data PathsAntola, A. / Piuri, V. / Sami, M. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 266
-
Exploiting Signal Unobservability for Efficient Translation to CNF in Formal Verification of MicroprocessorsVelev, M. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 267
-
Optimizing Analog Filter Designs for Minimum Nonlinear Distortions Using Multisine ExcitationsLataire, J. / Vandersteen, G. / Pintelon, R. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 268
-
A Fitting Approach to Generate Symbolic Expressions for Linear and Nonlinear Analog Circuit Performance CharacteristicsDaems, W. / Gielen, G. / Sansen, W. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 268
-
Low Complexity FIR Filters Using Factorization of Perturbed CoefficientsNeau, C. / Muhammad, K. / Roy, K. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 269
-
Double-Strength CAFFEINE: Fast Template-Free Symbolic Modeling of Analog Circuits via Implicit Canonical Form Functions and Explicit IntronsMcConaghy, T. / Gielen, G. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 270
-
Wave Steered FSMsMacchiarulo, L. / Shu, S. / Marek-Sadowska, M. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 270
-
Dynamic Conditional Branch Balancing during the High-Level Synthesis of Control-Intensive DesignsGupta, S. / Dutt, N. / Gupta, R. / Nicolau, A. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 270
-
Simulation Methodology for Analysis of Substrate Noise Impact on Analog / RF Circuits Including Interconnect ResistanceSoens, C. / Wambacq, P. / Van Der Plas, G. / Donnay, S. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 271
-
A Methodology and Design Environment for DSP ASIC Fixed-Point RefinementCmar, R. / Rijnders, L. / Schaumont, P. / Vernalde, S. / Bolsens, I. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 272
-
A Novel SAT All-Solutions Solver for Efficient Preimage ComputationLi, B. / Hsiao, M. / Sheng, S. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 273
-
Measuring the Effectiveness of Various Design Validation Approaches for PowerPC™ Microprocessor ArraysWang, L.-C. / Abadir, M. S. / Zeng, J. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 273
-
Performance Analysis of Complex Systems by Integration of Dataflow Graphs and Compositional Performance AnalysisSchliecker, S. / Stein, S. / Ernst, R. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 273
-
An Adaptive Algorithm for Low-Power Streaming Multimedia ProcessingAcquaviva, A. / Benini, L. / Ricco, B. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 274
-
Parameter Controlled Automatic Symbolic Analysis of Nonlinear Analog CircuitsPopp, R. / Oehmen, J. / Hedrich, L. / Barke, E. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 275
-
Top-Down Heterogeneous Synthesis of Analog and Mixed-Signal SystemsMartens, E. / Gielen, G. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 276
-
Distributed Synchronous Control Units for Dataflow Graphs under Allocation of Telescopic Arithmetic UnitsKim, E. / Saito, H. / Nakamura, H. / Nanya, T. / Lee, J. / Lee, D. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 277
-
Delay Minimization and Technology Mapping of Two-Level Structures and Implementation using Clock-Delayed Domino LogicCiric, J. / Yee, G. / Sechen, C. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 277
-
Systematic Figure of Merit Computation for the Design of Pipeline ADCBarrandon, L. / Crand, S. / Houzet, D. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 278
-
Functional scan chain testingChang, D. / Lee, M.T.-C. / Cheng, K.-T. / Marek-Sadowska, M. et al. | 1998
- 278
-
Synthesis of Controllers for Full Testability of Integrated Datapath-Controller PairsCarletta, J. / Nourani, M. / Papachristou, C. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 279
-
Designer-Driven Topology Optimization for Pipelined Analog to Digital ConvertersChien, Y.-T. / Lou, J.-H. / Chen, D. / Ma, G.-K. / Rutenbar, R. / Mukherjee, T. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 279
-
Constructing Symbolic Models for the Input/Output Behavior of Periodically Time-Varying Systems Using Harmonic Transfer MatricesVanassche, P. / Gielen, G. / Sansen, W. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 279
-
Tackling an Abstraction Gap: Co-Simulating with SystemC DE and Bluespec ESLPatel, H. D. / Shukla, S. K. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 280
-
A Static Power Estimation Methodology for IP-Based DesignLiu, X. / Papaefthymiou, C. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 280
-
Efficient Test Strategy for TDMA Power Amplifiers Using Transient Current Measurements: Uses and BenefitsSrinivasan, G. / Bhattacharya, S. / Chatterjee, A. / Cherubal, S. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 281
-
Nonlinear Model Order Reduction Using Remainder FunctionsMartinez, J. A. / Levitan, S. P. / Chiarulli, D. M. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 282
-
Automated Bus Generation for Multiprocessor SoC DesignRyu, K. / Mooney, V. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 282
-
Accurate Reliability Evaluation and Enhancement via Probabilistic Transfer MatricesKrishnaswamy, S. / Viamontes, G. / Markov, I. / Hayes, J. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 283
-
Channel-Based Behavioral Test Synthesis for Improved Module ReachabilityMakris, Y. / Orailoglu, A. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 283
-
Efficient Temperature-Dependent Symbolic Sensitivity Analysis and Symbolic Performance Evaluation in Analog Circuit SynthesisYang, H. / Vemuri, R. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 283
-
Gate Sizing using a Statistical Delay ModelJacobs, E. / Berkelaar, M. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 285
-
A Calculator for Pareto PointsGeilen, M. / Basten, T. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 285
-
Taylor Expansion Diagrams: A Compact, Canonical Representation with Applications to Symbolic VerificationCiesielski, M. / Kalla, P. / Zeng, Z. / Rouzeyre, B. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 285
-
Hierarchy-Aware and Area-Efficient Test Infrastructure Design for Core-Based System ChipsSehgal, A. / Goel, S. K. / Marinissen, E. J. / Chakrabarty, K. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 286
-
Random Jitter Extraction Technique in a Multi-Gigahertz SignalOng, C. / Hong, D. / Cheng, K. / Wang, L. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 286
-
Design Methodologies for System Level IPMartin, G. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 288
-
Soft-Error Tolerance Analysis and Optimization of Nanometer CircuitsDhillon, Y. / Diril, A. / Chatterjee, A. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 289
-
Efficient BIST Hardware Insertion with Low Test Application Time for Synthesized Data PathsNicolici, N. / Al-Hashimi, B. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 290
-
Optimization of Error Detecting Codes for the Detection of Crosstalk Originated ErrorsFavalli, M. / Metra, C. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 290
-
IP-Based System-on-a-Chip DesignDe Loore, B. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 290
-
Online Scheduling for Block-Partitioned Reconfigurable DevicesWalder, H. / Platzner, M. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 291
-
Power Constrained and Defect-Probability Driven SoC Test Scheduling with Test Set PartitioningHe, Z. / Peng, Z. / Eles, P. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 291
-
Modeling and Simulation to the Design of Z Delta Fractional-N Frequency SynthesizerHuang, S. / Ma, H. / Wang, Z. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 292
-
EDA Tools for RF: Myth or Reality?Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 292
-
Low Cost Analog Testing of RF Signal PathsNegreiros, M. / Carro, L. / Susin, A. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 292
-
A Systematic Analysis of Reuse Strategies for Design of Electronic CircuitsKoegst, M. / Conradi, P. / Garte, D. / Wahl, M. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 292
-
Optimal Hardware Pattern Generation for Functional BISTCataldo, S. / Chiusano, S. / Prinetto, P. / Wunderlich, H. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 294
-
Improving the Process-Variation Tolerance of Digital Circuits Using Gate Sizing and Statistical TechniquesNeiroukh, O. / Song, X. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 296
-
Dynamic Runtime Re-Scheduling Allowing Multiple Implementations of a Task for Platform-Based DesignsLee, T. / Wolf, W. / Henkel, J. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 296
-
Exploiting Loop-Level Parallelism on Coarse-Grained Reconfigurable Architectures Using Modulo SchedulingMei, B. / De Man, H. / Lauwereins, R. / Vernalde, S. / Verkest, D. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 297
-
System Level Power Optimization of Sigma-Delta ModulatorGong, F. / Wu, X. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 297
-
System Safety through Automatic High-Level Code Transformations: An Experimental EvaluationCheynet, P. / Nicolescu, B. / Velazco, R. / Rebaudengo, M. / Reorda, M. S. / Violante, M. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 297
-
Power-Constrained Test Scheduling for Multi-Clock Domain SoCsYoneda, T. / Masuda, K. / Fujiwara, H. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 297
-
VHDL Teamwork, Organization Units and Workspace ManagementOlcoz, S. / Ayuda, L. / Izaguirre, I. / Penalba, O. / Association for Computing Machinery / IEEE Computer Society et al. | 2007
- 298
-
Built-in Generation of Weighted Test Sequences for Synchronous Sequential CircuitsPomeranz, I. / Reddy, S. / Association for Computing Machinery / IEEE Computer Society et al. | 2007