Currently employed at STMicroelectronics, Transactional-Level Modeling (TLM) puts forward a novel SoC design methodology beyond RTL with measured improvements of productivity and first time silicon success. The SystemC consortium has published the official TLM development kit in May 2005 to standardize this modeling technique. The library is flexible enough to model components and systems at ma…
Modeling Permanent Faults -- Test Generation: A Symbolic Approach -- Test Generation: A Heuristic Approach -- Test Generation: A Hierarchical Approach -- Test Program Generation from High-level Microprocessor Descriptions -- Tackling Concurrency and Timing Problems -- An Approach to System-level Design for Test -- System-level Dependability Analysis.New manufacturing technologies have made poss…
Foreword -- Contributing Authors -- Contents -- Symbols and Abbreviations -- 1. Introduction -- 2. Modeling and analysis of telecom frontends: basic concepts -- 3. A framework for frequency-domain analysis of linear periodically timevarying Systems -- 4. Applications of LPTV system analysis using harmonic transfer matrices -- 5. Modeling oscillator dynamic behavior -- 6. Conclusions -- A. HTM n…
Design Sensitivity Analysis of Nonlinear Structural Systems -- Nonlinear Structural Analysis -- Nonlinear Sizing Design Sensitivity Analysis -- Nonlinear Shape Design Sensitivity Analysis -- Nonlinear Configuration Design Sensitivity Analysis -- Numerical Implementation and Applications -- Design Parameterization -- Numerical Implementation of Sensitivity Analysis -- Design Applications.Structu…
Structural Design and Analysis -- to Structural Design -- Variational Methods of Structural Systems -- Variational Equations and Finite Element Methods -- Design Sensitivity Analysis of Linear Structural Systems -- Discrete Design Sensitivity Analysis -- Continuum Sizing Design Sensitivity Analysis -- Continuum Shape Design Sensitivity Analysis -- Configuration Design Sensitivity Analysis.Struc…
Ship Modelling for Control -- Environmental Disturbances -- Kinematics of Ship Motion -- Ship Kinetics -- Control Surfaces (Actuators) -- to Ship Motion Control -- to Ship Roll Stabilisation -- Ship Roll Stabilisation -- Ship Motion Performance -- Performance Limitations in Feedback Control with Application to Ship Roll Stabilisers -- Linear Performance Limitations -- Constrained Performance Li…
An Introduction to Reconfigurable Computing. What is RC? RC Architectures. How did RC originate? Inside the FPGA. Mapping Algorithms to Hardware. RC Applications. Example: Dot Product. Further Reading -- Reconfigurable Logic Devices. Field-Programmable Gate Arrays. Coarse-Grained Reconfigurable Arrays. Summary -- Reconfigurable Computing Systems. Parallel Processing on Reconfigurable Computers.…
Keynote -- Networked RFID in Industrial Control: Current and Future -- Multi-Agent and Holonic Systems in Manufacturing -- Implementation Issues with Holonic Control Device Communication Interfaces -- Making a Perfect ‘Gin and Tonic’: Mass-Customisation Using Holons -- Holonic Manufacturing Control: A Practical Implementation -- Contingencies-Based Reconfiguration of Holonic Control Devices…
Design Flow Overview -- Simulation Tools in System Design -- System Level Modeling -- VHDL-AMS for Block Level Simulation -- to VHDL-AMS -- Selected RF Blocks in VHDL-AMS -- Macromodeling in VHDL-AMS -- Complex Example: WLAN Receiver -- Modeling of Analog Blocks in Verilog-A -- Characterization for Bottom-Up Verification -- Advanced Methods for Overall System Specification and Validation.Modern…
Device Modeling for Digital Circuits -- Current-Mode Digital Circuits -- Design Methodologies for Complex Current-Mode Logic Gates -- Modeling of Bipolar Current-Mode Gates -- Optimized Design of Bipolar Current-Mode Gates -- Modeling of MOS Current-Mode Gates -- Optimized Design of MOS Current-Mode Gates -- Applications and Remarks on Current-Mode Digital Circuits.Current-Mode digital circuits…