close
1.

図書

図書
sponsored by IEEE Computer Society Technical Council on Test Technology , IEEE Computer Society Technical Committee on Design Automation
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2003  viii, 178 p. ; 28 cm
所蔵情報: loading…
2.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Design Automation(DATC), IEEE Circuits & Systems Society, VHDL International
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c2000  ix, 127 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Message from the General Chair
Steering Committee
Program Committee
The System View / Session 1:
Requirements Modeling Technology: A Vision for Better, Faster, and Cheapter Systems / D. Barker
On Upgrading Legacy Electronics Systems: Methodology, Enabling Technologies and Tools / V. Madisetti ; Y.-K. Jung ; M. Khan ; J. Kim ; T. Finnessy
System Design Approaches / Session 2:
Predicting the Performance of SoC Verification Technologies / G. Peterson
Another Approach to System Level Design / Y. Veller
Objects for Modeling Embedded Systems / J. Benzakki
Language Extensions / Session 3:
Automated Test Vector Generation from Rosetta Requirements / K. Ranganathan ; M. Rangarajan ; P. Alexander ; T. Regan
Gated Clocks in RT-Synthesis and Simulation / W. Ecker ; A. Windisch ; J. Mades ; T. Schneider ; K. Yang
Panel: Setting the Context for VHDL 200X / Stephen BaileySession 4:
XML in the VHDL Environment / Session 5:
HDML: Compiled VHDL in XML / M. Reshadi ; B. Gorji-Ara ; Z. Navabi
An XML-Based Meta-Model for Design of Multiprocessor Embedded Systems / W. Cesario ; L. Gauthier ; D. Lyonnard ; G. Nicolescu ; A. Jerraya
Using XML for Representation and Visualization of Elaborated VHDL-AMS Models / T. Karayiannis
A Procedural Interface for VHDL / Session 6:
Testing a Procedural Interface for Conformance to a Standard / U. Parvathy ; F. Martinolle ; S. Subramanian
Mixed Language Design Data Access: Procedural Interface Design Considerations
Modeling Foreign Architectures with VHPI / J. Shields
Panel: Object Methodologies for System Design / Judith BenzakkiSession 7:
Novel VHDL Application / Session 8:
Induction Motor Drive System Modeled in VHDL / M. Cirstea ; A. Aounis ; M. McCormick ; P. Urwin ; L. Haydock
A VHDL Success Story: Electric Drive System Using Neural Controller / A. Dinu ; D. Nicula
High-Level Test Generation from VHDL Behavioral Descriptions / A. Gharebaghi
Author Index
Message from the General Chair
Steering Committee
Program Committee
3.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Simulation, IEEE Computer Society Technical Committee on Design Automation ; [editorial production by Bob Werner]
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2002  x, 171 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Chairs' Message
Introduction
Acknowledgments
Conference Committees
Keynote Speech
Market Estimation for System Prototyping EDA Segment / M. Pavesi
Prototyping Micro Architectures / Session 1:
Design of Application Specific CISC Using PEAS-III / A. Kitajima ; T. Sasaki ; Y. Takeuchi ; M. Imai
Rapid Prototyping of FPGA Based Floating Point DSP Systems / C. Ho ; M. Leong ; P. Leong ; J. Becker ; M. Glesner
Prototyping of Fuzzy Logic-Based Controllers Using Standard FPGA Development Boards / S. Sanchez-Solano ; R. Senhadji ; A. Cabrera ; I. Baturone ; C. Jimenez ; A. Barriga
Case Studies and Applications / Session 2:
A Flexible H.263 Video Coder Prototype Based on FPGA / M. Garrido ; C. Sanz ; M. Jimenez ; J. Meneses
Prototyping of a High Performance Generic Viterbi Decoder / A. Obeid ; A. Ortiz ; R. Ludewig
On the Rapid Prototyping of Equalizers for OFDM Systems / T. Pionteck ; N. Toender ; L. Kabulepa ; T. Kella
Prototyping Ethernet in the First Mile over Point-to-Point Copper / M. Beck ; E. Borghs ; J. Jacobs ; A. Mihanta ; T. Pollet ; P. Vandaele
Mapping to FPGAs / Session 3:
Benefits of Macro-Based Multi-FPGA Partitioning for Video Processing Applications / J. Martin-Langerwerf ; C. Reuter ; H. Kropp ; P. Pirsch
Hybrid Multi-FPGA Board Evaluation by Limiting Multi-Hop Routing / S. Jain ; A. Kumar ; S. Kumar
Keynote Speech: FPGA's Rapidly Bridging Worlds / Y. Tanurhan
Reconfigurable Software / Session 4:
Rapid Prototyping of Transition Management Code for Reconfigurable Control Systems / M. Guler ; N. Kejriwal ; L. Wills ; S. Clements ; B. Heck ; G. Vachtsevanos
Reconfigurable Hardware Control Software / C. Hinkelbein ; A. Kugel ; R. Manner ; M. Muller
Interfacing Software Libraries from Non-Deterministic Prototypes / S. Chachkov ; D. Buchs
Validating Object-Oriented Prototype of Real-Time Systems with Timed Automata / G. Shu ; C. Li ; Q. Wang ; M. Li
High-Level Modeling Issues / Session 5:
From Object-Oriented Modeling to Code Generation for Rapid Prototyping of Embedded Electronic Systems / M. Kuhl ; C. Reichmann ; I. Protel ; K. Muller-Glaser
System Prototyping by Integration of Reconfigurable Hardware into a Heterogeneous System Model / K. Buchenrieder ; U. Nageldinger ; A. Pyttel ; A. Sedlmeier
ISA Based System Design Language in HW/SW Co-Design Environment / H. Yanagisawa ; M. Uehara ; H. Mori
New Synthesis and Estimation Approaches / Session 6:
System-Level Co-Synthesis of Dataflow Dominated Applications on Reconfigurable Hardware/Software Architectures / M. Vestias ; H. Neto
Power Estimation Based on Transition Activity Analysis with an Architecture Precise Rapid Prototyping System / T. Murgan
Tools and Framework for Supporting RSP / Session 7:
Framework for Validation, Test and Analysis of Real-Time Scheduling Algorithms and Scheduler Implementations / F. Golatowski ; J. Hildebrandt ; J. Blumenthal ; D. Timmermann
A Rapid Prototyping Environment for Distributed Reconfigurable Systems / C. Bobda ; N. Steenbock
RAPIDO: A Modular, Multi-Board, Heterogeneous Multi-Processor, PCI Bus Based Prototyping Framework for the Validation of SoC VLSI Designs / N. Busa ; G. Alkadi ; M. Verberne ; R. Llopis ; S. Ramanathan
PICARD: Platform Concepts for Prototyping and Demonstration of High Speed Communication Systems / M. Wouters ; T. Huybrechts ; R. Huys ; S. De Rore ; S. Sanders ; E. Umans
Author Index
Chairs' Message
Introduction
Acknowledgments
4.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Design Automation, IEEE Computer Society Technical Committee on Simulation
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2003  xii, 242 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Message from the General Chairs
Introduction: An Editorial Note
Acknowledgements
Conference Committees
Design Environments I / Session 1:
A Universal Low Cost Run-Time and Programming Environment for Reconfigurable Computing / A. Dollas ; D. Efstathiou ; T. Kyriakides
A Component-Based Methodology for Embedded System Prototyping / P. Tessier ; S. Gerard ; C. Mraidha ; F. Terrier ; J. Geib
i-CAD: A Rapid Prototyping CAD Tool for Intranet Design / S. Habib ; A. Parker
Embedded Systems / Session 2:
A New Specification Methodology for Embedded Systems Based on the [pi]-Calculus Process Algebra / S. Forster ; M. Fischer ; A. Windisch ; B. Balser ; D. Monjau
Embedded Application Prototyping on a Communication-Restricted Reconfigurable Platform / A. Sasongko ; A. Baghdadi ; F. Rousseau ; A. Jerraya
Efficient Analysis of Mixed-Signal ASICs for Smart Sensors / N. Kero ; T. Sauter
Verification of Timing Properties in Rapid System Prototyping / D. Drusinky ; M. Shing
Signal Processing and ASIC Design / Session 3:
An Efficient Methodology and Semi-Automated Flow for Design and Validation of Complex Digital Signal Processing ASICS Macro-Cells / L. Tambour ; N. Zergainoh ; P. Urard ; H. Michel
Simulation and Analysis of Embedded DSP Systems Using Petri Nets / A. Deb ; J. Oberg ; A. Jantsch
A New Approach of a Self-Timed Bit-Serial Synchronous Pipeline Architecture / A. Rettberg ; M. Zanella ; C. Bobda ; T. Lehmann
Prototype-Based Tests for Hybrid Reactive Systems / G. Hahn ; J. Philipps ; A. Pretschner ; T. Stauner
Applications / Session 4:
Synthesis of LOTOS Specification of the IEEE-1394 Firewire Protocol / V. Carchiolo ; M. Malgeri ; G. Mangioni
Marked Regulatory Graphs: A Formal Framework to Simulate Biological Regulatory Networks with Simple Automata / V. Bassano ; G. Bernot
Really Rapid Prototyping of Large-Scale Business Information Systems / G. Milosavljevic ; B. Perisic
Run-time Environments and Middleware / Session 5:
Evaluation of Middleware Architectures in Achieving System Interoperability / P. Young ; N. Chaki ; V. Berzins ; Luqi
A Versatile Framework for FPGA Field Updates: An Application of Partial Self-Reconfiguation / R. Fong ; S. Harper ; P. Athanas
Contributions to Middleware Architectures to Prototype Distribution Infrastructures / J. Hugues ; L. Pautet ; F. Kordon
Communications I / Session 6:
Design and Prototyping a Fast Hadamard Transformer for WCDMA / S. Bahl
Hardware Evaluation of Low Power Communication Mechanisms for Transport-Triggered Architectures / T. Pionteck ; A. Garcia ; L. Kabulepa ; M. Glesner
Rapid Design and Analysis of Communication Systems Using the BEE Hardware Emulation Environment / C. Chang ; K. Kuusilinna ; B. Richards ; A. Chen ; N. Chan ; R. Brodersen ; B. Nikolic
Modeling for Design I / Session 7:
An Instruction Throughput Model of Superscalar Processors / T. Taha ; S. Wills
Cache Configuration Exploration on Prototyping Platforms / C. Zhang ; F. Vahid
Communications II / Session 8:
Emulation of Analog Components for the Rapid Prototyping of Wireless Baseband Systems / R. Ludewig ; T. Murgan ; J. Hidalgo
Rapid Scheduling of Efficient VLSI Architectures for Next-Generation HSDPA Wireless System Using Precision C Synthesizer / Y. Guo ; G. Xu ; D. McCain ; J. Cavallaro
Rapid Prototyping of Real-Time Communication--A Case Study: Interacting Robots / S. Ihmor ; N. Bastos Jr. ; R. Klein ; M. Visarius ; W. Hardt
Design Environments II / Session 9:
xDSL Systems Prototyping Using a Flexible Emulation Environment / N. Papandreou ; M. Varsamou ; T. Antonakopoulos
Rapid Prototyping and Incremental Evolution Using SLAM / A. Herranz ; J. Moreno-Navarro
Modeling for Design II / Session 10:
Comparative Rapid Prototyping, A Case Study / J. Puett ; Z. Guan ; Y. Qiao ; L. Zhang ; X. Liang ; W. Ray ; M. Brown ; D. Floodeen
Synthesizing Approach for Perspective-Based Architecture Design
Rapid Exploration of Pipelined Processors through Automatic Generation of Synthesizable RTL Models / P. Mishra ; A. Kejariwal ; N. Dutt
Exploring the Probabilistic Design Space of Multimedia Systems / S. Hua ; G. Qu ; S. Bhattacharyya
Author Index
Message from the General Chairs
Introduction: An Editorial Note
Acknowledgements
5.

図書

図書
sponsored by : ACM SIGDA ... [et al.]
出版情報: New York : ACM, c2001  xi, 271 p. ; 28 cm
所蔵情報: loading…
6.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Design Automation, IEEE Computer Society Technical Committee on Simulation
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2001  x, 206 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Chairmen's Message
Introduction
Acknowledgements
Keynote Speakers
Rapid Prototyping of Computer Systems: Experiences and Lessons / D. Siewiorek ; A. Smailagic ; D. Salber
The Colorado Advanced Software Institute: From Virtual Research Laboratory to Software Clinic / A. Amschler Andrews
Hardware Case Studies / Session 1:
System Level Prototyping for Embedded Networking Applications / D. Loy ; A. Murase ; A. Doederlein
Rapid Prototyping of a Reusable 4[times]4 Active ATM Switch Core with the PCI Pamette / A. Dollas ; D. Pnevmatikatos ; N. Aslanides ; S. Kavvadias ; E. Sotiriades ; K. Papademetriou
Rapid Prototyping for Hardware Accelerated Elliptic Curve Public-Key Cryptosystems / M. Ernst ; S. Klupsch ; O. Hauck ; S. Huss
Reconfigurable Computing / Session 2:
A Dynamically Reconfigurable Architecture for Embedded Systems / G. Sassatelli ; G. Cambon ; J. Galy ; L. Torres
Singular Value Decomposition on Distributed Reconfigurable Systems / C. Bobda ; N. Steenbock
Rapid Development of Reconfigurable Systems / S. Chappell
Determining the Optimum Extended Instruction-Set Architecture for Application Specific Reconfigurable VLIW CPUs / C. Alippi ; W. Fornaciari ; L. Pozzi ; M. Sami
Communication Systems / Session 3:
Prototyping of Efficient Hardware Algorithms for Data Compression in Future Communication Systems / A. Mukherjee ; N. Motgi ; J. Becker ; A. Friebe ; C. Habermann ; M. Glesner
Rapid Prototyping of Automotive Communication Protocols / B. O'Rourke ; P. Giusto ; T. Demmeler ; S. Wisniewski
A Rapid Prototyping Methodology and Platform for Seamless Communication Systems / M. Vasilko ; L. Machacek ; M. Matej ; P. Stepien ; S. Holloway
A Tool Box to Map System Level Communication on HW/SW Architectures / D. Hommais ; F. Petrot ; Y. Auge
Distributed Prototyping / Session 4:
Object Model Driven Code Generation for the Enterprise / W. Ray ; A. Farrar
LfP: A Specification Language for Rapid Prototyping of Concurrent Systems / D. Regep ; F. Kordon
Distributed Prototyping from Validated Specifications / D. Hansel ; R. Cleaveland ; S. Smolka
DCAPS--Architecture for Distributed Computer Aided Prototyping System / Luqi ; V. Berzins ; J. Ge ; M. Shing ; M. Auguston ; B. Bryant ; B. Kin
Systems Modeling / Session 5:
Colif: A Multilevel Design Representation for Application-Specific Multiprocessor System-on-Chip Design / W. Cesario ; G. Nicolescu ; L. Gauthier ; D. Lyonnard ; A. Jerraya
Rapid Application Development of Middleware Components by Using XML / G. Nusser ; R.-D. Schimkat
DF*: Modeling Dynamic Process Creation and Events for Interactive Multimedia Applications / S. Mostert ; N. Cossement ; J. van Meerbergen ; R. Lauwereins
Modeling, Design, Virtual and Physical Prototyping, Testing, and Verification of a Multifunctional Processor Queue for a Single-Chip Multiprocessor Architecture / R. Heath ; A. Tan
Model-based Prototyping / Session 6:
A Model-Based Tool for Interactive Prototyping of Highly Interactive Applications / D. Navarre ; P. Palanque ; R. Bastide ; O. Sy
From an Abstract Object-Oriented Model to a Ready-to-Use Embedded System Controller / S. Chachkov ; D. Buchs
Universal Object-Oriented Modeling for Rapid-Prototyping of Embedded Electronic Systems / M. Kuhl ; B. Spitzer ; K. Muller-Glaser ; U. Dambacher
Model Based Testing in Evolutionary Software Development / A. Pretschner ; H. Lotzbeyer ; J. Philipps
Efficient Evaluation / Session 7:
Mixed Classical Scheduling Algorithms and Tree Growing Technique in Block-Test Scheduling under Power Constraints / V. Muresan ; X. Wang ; M. Vladutiu
An Approach to Mapping the Timing Behavior of VLSI Circuits on Emulators / P. Sabet ; L. Vuillemin
How May CLBs Does Your Circuit Need to Be Implemented / N. Nedjah ; L. Mourelle
Methodologies and Tools / Session 8:
EUDOXUS: A WWW-Based Generator of Reusable Arithmetic Cores / D. Bakalis ; K. Adaos ; D. Lymperopoulos ; G. Alexious ; D. Nikolos
Rapid Prototyping of Real-Time Control Laws for Complex Mechatronic Systems / M. Deppe ; M. Robrecht ; M. Zanella ; W. Hardt
Supporting Rapid Prototyping through Frequent and Reliable Deployment of Evolving Components / J. Cook
A Methodology for Architecture-Oriented Rapid Prototyping
Author Index
Chairmen's Message
Introduction
Acknowledgements
7.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Design Automation, IEEE Computer Society Technical Committee on Simulation, IEEE Computer Society Technical Committee on Test Technology
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c2000  vii, 234 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Introduction
Chairmen's Message
Acknowledgements
Co-Design Methodologies / Session 1:
A Methodology for Implementing Medium Access Protocols Using a General Parameterized Architecture / M. Iliopoulos ; T. Antonakopoulos
Design Space Exploration for Hardware/Software Codesign of Multiprocessor Systems / A. Baghdadi ; N-E. Zergainoh ; W. Cesario ; T. Roudier ; A. Jerraya
Efficient Modeling of Preemption in a Virtual Prototype / J. Cockx
Combining Virtual Benchmarking with Rapid System Prototyping for Real-Time Embedded Multiprocessor Signal Processing System Codesign / R. Janka ; L. Wills
Software Methodologies / Session 2:
A Risk Assessment Model for Software Prototyping Projects / J. Nogueira ; Luqi ; S. Bhattacharya
Processor Models for Retargetable Tools / R. Moona
Modus: Integrated Behavior-Oriented Model for Rapid Prototyping / Y. Arechavala ; F. Garcia
Equivalence Checking of Two Statechart Specifications / M-H. Park ; K-S. Bang ; J-Y. Choi ; I. Kang
Intuitive Design of Complex Real-Time Control Systems / M. Dimmler ; Y. Piguet
Tools / Session 3:
Cycle-True Simulation of the ST10 Microcontroller Including the Core and the Peripherals / L. Gauthier
Hardware/Software Co-Design of a Java Virtual Machine / K. Kent ; M. Serra
Emulator Environment Based on an FPGA Prototyping Board / K-s. Oh ; S-y. Yoon ; S-I. Chae
A Comprehensive Prototyping-Platform for Hardware-Software Codesign / A. Koch
Real Time Systems / Session 4:
Quasi-Static Scheduling of Reconfigurable Dataflow Graphs for DSP Systems / B. Bhattacharya ; S. Bhattacharyya
A Design Methodology for Hardware Prototyping of Integrated AC Drive Control: Application to Direct Torque Control of an Induction Machine / P. Poure ; F. Aubepart ; F. Braun
Hardware Methodologies / Session 5:
Speeding up Hardware Prototyping by Incremental Simulation/Emulation / N. Canellas ; J. Moreno
Mapping a High-Speed Wireless Communication Function to the Reconfigurable J-Platform / V. Jain
A Prototype of an AAL for High Bit Rate Real-Time Data Transmission System over ATM Networks Using a RSE CODEC / D. Eilers ; A. Voglgsang ; A. Plankl ; G. Korner ; H. Steckenbiller ; R. Knorr
The FLYSIG Prototyping Approach / W. Hardt ; B. Kleinjoahann ; A. Rettbergr
Code Generation / Session 6:
A Verilog to C compiler / D. Greaves
Using MetaScribe to Prototype an UML to C++/Ada95 Code Generator / D. Regep ; F. Kordon
An Evaluation of Code Generation Strategies Targeting Hardware for the Rapid Prototyping of SDL-Specifications / A. Muth ; T. Kolloch ; T. Maier-Komor ; G. Farber
Methodologies / Session 7:
Integration and Evolution of Model-Based Tool Prototypes / A. Bredenfeld
Coprocessor Synthesis of Multirate System Using Static Scheduling Theory / R. Kamdem ; A. Fonkoua
Automated Communication Synthesis for Architecture-Precise Rapid Prototyping of Real-Time Embedded Systems / F-M. Renner ; J. Becker ; M. Glesner
Simulation and Rapid Prototyping of Flexible Systems-on-a-Chip for Future Mobile Communication Applications / L. Kabulepa
Reconfigurability in Hardware Systems / Session 8:
Reconfigurable Instruction Set Processors: A Survey / F. Barat ; R. Lauwereins
Highly Configurable Control Boards: A Tool and a Design Experience / E. de la Torre ; T. Riesgo ; J. Uceda ; E. Macip ; M. Rizzi
Hardware Systems / Session 9:
Power-Constrained Block-Test List Scheduling / V. Muresan ; X. Wang ; M. Vladutiu
Adaptive FPGA Placement by Natural Optimisation / J. de Vicente ; J. Lanchares ; R. Hermida
A Hardware Virtual Machine for the Networked Reconfiguration / Y. Ha ; P. Schaumont ; M. Engels ; S. Vernalde ; F. Potargent ; L. Rijnders ; H. De Man
FPGA Technology Snapshot: Current Devices and Design Tools / H. Krupnova ; G. Saucier
Industrial Session / Session 10:
Validation of Link Layer Synthesizable Core--A Prototyping Case Study / Prasad P GSession 11:
Hardware Accelerated Estimation of Multiplexer-Introduced Loss for MPEG-4 Data Streams / U. Mayer
Embedded Systems / Session 12:
Efficient Clock-Cycle Precise Simulation at Architecture Level in C++ / G. Eggers ; H. Zeidler
Embedded System Architecture Design Based on Real-Time Emulation / C. Nitsch ; K. Weiss ; T. Steckstor ; W. Rosenstiel
Author Index
Introduction
Chairmen's Message
Acknowledgements
8.

図書

図書
sponsored by IEEE Computer Society Test Technology Technical Council, IEEE Computer Society Design Automation Technical Committee
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2005  viii, 250 p. ; 28 cm
所蔵情報: loading…
9.

図書

図書
co-sponsored by IEEE Computer Society Technical Committee on Simulation, IEEE Computer Society Technical Committee on Design and Automation
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2005  xv, 272 p. ; 28 cm
所蔵情報: loading…
10.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Design Automation, IEEE Computer Society Technical Committee on Test Technology, IEEE Computer Society Technical Committee on VLSI
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2003  xii, 159 p. ; 28 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼