Getting a handle on all of this material isn’t an insurmountable task, but it’s time consuming. When you multiply the time that you, as a single designer, might spend in the attempt, by all of the designers involved in SoC design, the cumulative time taken away from real work is enormous.
SOCcentral.com saves you time by scouring the Internet for you – vendor sites, publications, and other content sources – and identifying the industry developments, products, and design information most relevant to SoC designers and users of EDA tools and IP. SOCcentral.com then abstracts, organizes,and indexes that material, and provides the links to take you directly to the source.
SOCcentral Feature Articles |
The Next Roadblock to Custom-Design Productivity: Design Constraints | 5/21/2013 |
Maximizing the Value of Your Internal IP | 5/15/2013 |
Yes, Virginia, There Is a Stitch-and-Ship | 4/5/2013 |
Formal Verification Works Well for Connectivity Checking | 3/15/2013 |
Formal Verification and Validation | 3/14/2013 |
Verified Beyond Doubt | 3/14/2013 |
So, Just What Is ESL? | 3/11/2013 |
A Call to Action: How 20nm Will Change IC Design | 2/8/2013 |
Demystifying Analog and Mixed-Signal ASICs | 2/8/2013 |
Exposing the Hidden Costs of Using Off-the-Shelf Analog ICs | 1/14/2013 |
The SOC Interconnect-Verification Challenge | 1/14/2013 |
TLM-Driven Design and Verification: Time for a Methodology Shift | 1/7/2013 |
Clock Domain Crossing Demystified | 1/3/2013 |
Changing the Paradigm of Electrical Test | 1/2/2013 |
RTL Analysis for Complex FPGA Designs Using a Grey Cell Methodology | 1/2/2013 |
Power and Thermal Modeling and Analysis of Multi-Die Packages | 12/17/2012 |
Building Energy-Efficient ICs from the Ground Up | 12/5/2012 |
3D ICs with TSVs: Design Challenges and Requirements | 12/3/2012 |
MEMS Growth Calls for Market, Manufacturing Changes | 12/3/2012 |
The Case for Developing Custom Analog SOCs | 12/3/2012 |
Blindsided by a Glitch | 11/19/2012 |
Profiling Defect Sites for Yield Improvement | 11/9/2012 |
New IJTAG Standard Simplifies SOC Verification and Test Processes | 11/5/2012 |
Solutions for Mixed-Signal SOC Implementation | 10/25/2012 |
Vendor-Independent RTL Memory BIST Insertion and Verification | 10/23/2012 |
The IP Blame Game | 10/10/2012 |
Already Scanned Today? | 9/21/2012 |
Use the Power of Your SOC to Verify Its Low-Power Design Features | 9/1/2012 |
Challenges and Requirements for Power-Aware Debugging | 8/27/2012 |
SCE-MI Explained: Macro-based and Function-based | 8/24/2012 |
Solutions for Mixed-Signal SOC Verification | 8/21/2012 |
Leapfrogging the Competition Through Smart IP Selection | 8/17/2012 |
Hybrid Prototyping Delivers the Best of Both Virtual and FPGA Prototyping to SOC Hardware and Software Teams | 8/3/2012 |
3D-IC System Verification Methodology: Solutions and Challenges | 7/20/2012 |
8051s in the Spectrum of Microcontroller Choices | 7/20/2012 |
Testing the 3D Waters | 7/19/2012 |
The Evolution of Power Format Standards | 7/16/2012 |
Understanding the Low Power Abstraction | 7/6/2012 |
New Tools Take the Pain out of FPGA Synthesis | 6/29/2012 |
Power Is on Everybody's Mind | 6/29/2012 |
Test Automation of 3D Integrated Systems | 6/29/2012 |
The IP Distribution Challenge | 6/15/2012 |
Low-Power RTL Report 2012 | 6/14/2012 |
The Design and Verification Challenge for the Decade | 6/14/2012 |
Driving A/MS Innovation: An EDA Ecosystem Approach | 6/1/2012 |
Let's Go On with the Show! | 6/1/2012 |
Mixed-Signal Design Trends and Challenges | 6/1/2012 |
Latest FPGAs Show Big Gains in Floating-Point Performance | 5/16/2012 |
An Accurate DRAM Model | 5/14/2012 |
Augmenting the Transaction Generator with New DRAM and Workload Models | 5/11/2012 |
Reaching for the Cloud: What's Next for Interconnects | 4/27/2012 |
Using Formal Technology to Improve Coverage Results | 4/23/2012 |
Resistive RAM: The Future Embedded Non-Volatile Memory? | 4/9/2012 |
Extending the Metric-Driven Verification Methodology to TLM | 3/30/2012 |
Hardware in the Software Sphere of Influence | 3/30/2012 |
Get Outta My Face | 2/24/2012 |
Streamlined Verification Plans Using the Metric Driven Verification Flow | 2/23/2012 |
Completing Hardware Innovation Cycles in Less than Six Months: An Internet Data Center Server Case Study | 2/1/2012 |
Understanding Formal Verification Concepts-Part 3 | 1/31/2012 |
Understanding Formal Verification Concepts-Part 2 | 1/16/2012 |
Simulation Coverage and Formal Verification: Unlikely Collaborators? | 1/13/2012 |
Understanding Formal Verification Concepts | 12/9/2011 |
Powering the Shift to HLS | 12/6/2011 |
Handling Clock Synchronization During Power-Driven Synthesis | 10/27/2011 |
Understanding the Cost of Not Prototyping | 10/24/2011 |
Breaking the Memory-Performance Bottleneck | 10/17/2011 |
A Verification Methodology for 3D-ICs | 10/3/2011 |
Improving At-Speed DFT Coverage Using Early RTL Testability Analysis | 9/20/2011 |
Advanced Sign-Off…It's Trending! | 9/13/2011 |
The Leash Gets Shorter | 7/29/2011 |
FPGA Design: From Top-Down to Bottom-Up | 6/2/2011 |
A Third Way in FPGA Development | 6/1/2011 |
Adopting a Flexible FPGA Verification Methodology | 6/1/2011 |
Clarifying Language/Methodology Confusion in FPGA Design | 6/1/2011 |
Is Your CDC Tool of Sign-Off Quality? | 5/13/2011 |
Using Cost-Effective and Secure Field-Programmable 1T-OTP to Emulate MTP | 4/28/2011 |
Planning Formal Verification Closure | 4/20/2011 |
Reality TV, Really? | 4/14/2011 |
IP Gets Smarter | 4/1/2011 |
Factors Compelling Greater Use of Embedded One-Time Programmable Memory | 3/24/2011 |
Thru-Silicon Vias: Current State of the Technology | 2/25/2011 |
Boost Verification Quality with Intelligent Testbench Automation | 2/23/2011 |
Mind the Design and Verification Gap | 2/16/2011 |
Using Formal Verification to Control X Propagation | 1/19/2011 |
What? You Haven't Made Any Resolutions? | 1/17/2011 |
The Need for a Comprehensive SOC Test Platform | 1/16/2011 |
Do You Have the Next-Generation Verification Flow? | 1/13/2011 |
Is CDC (Clock Domain Crossing) Analysis a Misnomer? | 1/10/2011 |
Deadly Reasons for Extraction Failure | 12/13/2010 |
Managing Open-Source Licensing for Semiconductors | 11/19/2010 |
Antisocial Media | 10/1/2010 |
Seeing Is Believing: How Visualization Simplifies IC DRC | 9/1/2010 |
Verification Challenges Require Surgical Precision | 8/16/2010 |
IC Floorplanning and Power Integrity | 8/2/2010 |
Selecting an AES Solution | 8/2/2010 |
Defining a Universal Verification Methodology | 7/23/2010 |
Summertime and the Leavin' Ain't Easy | 7/23/2010 |
Chip Power Model for Co-Design | 7/12/2010 |
Eliminating the "Long Loop" in FPGA Design | 7/12/2010 |
Low Power: The Next Big Challenge for FPGA Designers | 7/12/2010 |
DDR3 DRAM Takes Servers to Greener Pastures | 7/1/2010 |
Advanced Static Verification Is Indispensable | 6/7/2010 |
Controllable Automation and Interoperability Standards: Scaling Custom Digital Layout for Next-Generation Chip Design | 6/7/2010 |
Imagining Verification Success | 6/2/2010 |
The ROI of Hardware Configuration Management in IC Design Flows | 6/1/2010 |
Continuum (Analog) Analysis of Power Integrity | 5/28/2010 |
"Useful" Skew-Based Optimization | 5/20/2010 |
Evolving Your Organization’s ABV Capabilities | 5/17/2010 |
Design Reuse – It’s Time for New IP-Creation Tools | 5/10/2010 |
Enabling Assertion-Based Verification | 5/7/2010 |
Low-Power Design Applications for Formal Verification | 5/7/2010 |
Realizing ESL with Scalable Transaction-Level Models | 5/3/2010 |
When Business Travel Becomes Travail | 4/29/2010 |
A Look at Emulation vs. Simulation | 4/22/2010 |
A Look at ESL | 3/11/2010 |
The New Standard for 32-nm IC Physical Design and Signoff | 3/11/2010 |
An Overview of FPGA Market Dynamics | 2/17/2010 |
A Practical Approach to Adopting Formal Property Checking | 2/10/2010 |
Dressing for Distress | 2/9/2010 |
An Easy Way to Adopt Statistical Timing Analysis and Do Better Designs | 1/21/2010 |
Harnessing the DSP Horsepower | 1/18/2010 |
Automating Advanced Clock-Gating Techniques During High-Level Synthesis | 12/10/2009 |
Fun Under the T.A.R.P. | 11/24/2009 |
Accelerate Design Closure with Multi-Core Timing Analysis and Optimization | 11/2/2009 |
Bridging SOC Architectures for Faster Timing Closure | 11/2/2009 |
Probabilistic Timing Analysis | 10/31/2009 |
MEMO-ries are Made of This | 10/19/2009 |
A Processor and DSP IP Selection Checklist | 10/15/2009 |
What, Why and How of Through-Silicon Vias | 10/6/2009 |
Test Standards Emerge to Improve 3D-Chip Yield | 10/5/2009 |
SoC System Management IP Virtualizes SOC System Management | 10/2/2009 |
Taking One for the Team | 9/10/2009 |
DFM-Compliant IP: Why You Need It, How You Get It | 9/9/2009 |
Protocol Abstraction Views Simplify Chip Interconnect Debugging | 9/7/2009 |
The Key to Seamless and Rapid IP Integration | 9/1/2009 |
Staying On the Path to Moore’s Law Requires 3D Integration | 8/19/2009 |
It Ain't No Picnic | 8/6/2009 |
Strategies for Managing Data Across Multi-Site Design Projects | 8/5/2009 |
New Flow for Automating Verification of ESD Design Rules | 8/3/2009 |
Synthesis Needs to Change to Serve Modern Chip Design | 8/3/2009 |
Analog and Mixed-Signal IC Debug | 8/2/2009 |
Emulation Finds Its Role | 7/15/2009 |
Layout Automation for the Next Generation of Custom Chips | 7/6/2009 |
Reducing IC Power Consumption with Advanced Place-and-Route | 6/22/2009 |
Design and Verification Techniques for Clock Gating | 5/21/2009 |
Fly the Hokey-Pokey | 4/8/2009 |
Leveraging Standards When Times Are Tough | 2/16/2009 |
If the Benefits—Wear It! | 2/10/2009 |
FPGA-to-ASIC Conversion | 1/16/2009 |
Casey at the Bat | 12/16/2008 |
Do You Fear What I Fear? | 12/16/2008 |
Designing for State Retention | 12/12/2008 |
Challenges in 45-nm Physical Design | 11/6/2008 |
Deep Submicron Designs Challenge Physical Implementation Tools | 11/6/2008 |
Single, Unified Datamodel Key to Integrated IC Implementation Flow | 11/6/2008 |
Test Structures Make Designs Harder to Verify | 10/28/2008 |
Perfect Storm Brewing for Chip and Circuit Board Test | 10/22/2008 |
When Silicon Processes Shrink, Test Needs Expand | 10/6/2008 |
Electrical Fuse Makes Repairable Memory Testing Easy | 10/5/2008 |
Small Delay Defect Testing | 10/5/2008 |
Comparing an IP-Centric DDR Solution with a System-Centric DDR Solution for Improved System Performance | 9/8/2008 |
… But Will It Work? | 9/2/2008 |
A Comprehensive Approach to Manufacturing Variability | 9/2/2008 |
Manufacturing Concerns Move Up the Design Cycle | 9/2/2008 |
Solving the DFM Interoperability Crisis | 9/2/2008 |
The Shifting Landscape of DFM | 9/2/2008 |
We Can't Go on Meeting Like This! | 8/7/2008 |
Combining Metrics from Simulation and Formal | 8/5/2008 |
Formal Verification Goes Mainstream | 8/5/2008 |
What Ever Happened to Formal Verification? | 8/5/2008 |
What Hardware Designers Need to Know About Systemverilog Testbench Debug and Analysis | 8/5/2008 |
Meeting Serial Rapid IO Architectural Trends in 3.5G and 4G Base Stations | 7/28/2008 |
Art Imitating Life: Hardware Development Imitating Software Development | 7/21/2008 |
Automating Advanced Low-Power Multi-Voltage Design | 6/9/2008 |
Industry Leaders Define Next Priorities for Low Power | 6/9/2008 |
Low Power Is Now a High Priority | 6/9/2008 |
Multi-Corner, Multi-Mode Power Closure: The New Dimension in IC Design | 6/9/2008 |
Power Has Consequences, So Chill Out! | 6/9/2008 |
Stop the Presses ... Please! | 6/5/2008 |
Beyond IR Drop: Dynamic Voltage Droops and Total Power Integrity | 5/22/2008 |
ESL Is Finally Ready for Prime Time | 5/12/2008 |
Standardization Opens Virtual Platforms to Mainstream Use | 5/12/2008 |
The Sunny Side of Deceit | 4/29/2008 |
SystemVerilog Modeling Guidelines to Avoid Synthesis- Simulation Mismatches | 4/28/2008 |
Low-Power Design Survey | 4/15/2008 |
ESL Design Survey | 4/14/2008 |
A Power Integrity Wall Follows the Power Wall! | 3/25/2008 |
If You Cater It, They Will Come | 3/18/2008 |
Customizable Processors | 3/11/2008 |
Development of Embedded DSP Communications Algorithms for Software Defined Radio | 1/23/2008 |
Power Integrity and Energy-Aware Floorplanning | 1/16/2008 |
Parasitic Extraction Challenges for Designing Advanced Process ICs | 1/9/2008 |
Parasitics Move Model Order Reduction into Electronic Design Automation | 1/3/2008 |
Creating a Unified Power Flow | 11/12/2007 |
Applying Volume Diagnostics to Accelerate Yield Learning | 11/5/2007 |
Silicon Validation via LFD Simulation | 8/6/2007 |
An Introduction to the VMM Register Abstraction Layer | 7/30/2007 |
Statistical Timing Analysis: Sign-off for a New Generation | 7/19/2007 |
Simultaneous Multi-Scenario Timing Optimization for High-Performance Digital IC Designs | 7/12/2007 |
Process Variations Require Integrated Sign-Off Solutions | 7/6/2007 |
Why High MHz Does Not Mean High Performance | 5/31/2007 |
Selecting the Optimum ASIC Technology for Your Design | 5/1/2007 |
Where Do Structured ASICs Fit? | 5/1/2007 |
Catapulting Fabless Start-Ups | 4/24/2007 |
Software-Centric Co-Design | 4/20/2007 |
Why We Need Standards for Transaction-Level Modeling | 4/9/2007 |
Using SystemC Reference Models in SystemVerilog Testbenches | 4/2/2007 |
System Integration and Testing Before First Hardware Availability? It's Possible! | 3/1/2007 |
Chip Designers Must Think Like Architects for Chip-Package Co-Design | 2/26/2007 |
Coding Guidelines for an Effective Methodology for SystemVerilog Assertions Local Variables | 2/2/2007 |
Error Checking and Functional Coverage with SystemVerilog Assertions | 2/2/2007 |
Configurable Processors: The Next Evolutionary Step for Microprocessors | 1/8/2007 |
Reconfigurable Systems Craft a New Breed Of “Soft Appliances” that Deliver Topnotch Performance | 1/8/2007 |
New Techniques for Testing Communications Devices | 11/13/2006 |
A Layered Approach to NoC | 10/23/2006 |
Synchronous Interconnect is Hitting the Wall | 10/23/2006 |
Making the Transition from Board Level Design to System-on-Chip | 10/17/2006 |
Why DRAM is Capturing Greater Designer Mind Share Today | 9/25/2006 |
A Flexible Solution for Implementing Structured ASIC Designs | 8/28/2006 |
Building a Total Quality Experience into Silicon IP | 8/10/2006 |
Evolution of Fuses in ICs: From Static Redundancy to Dynamic Speed Fixes | 8/10/2006 |
DFM at DAC | 7/14/2006 |
SystemVerilog and SystemC: Two Standards Used Together to Design SOCs | 7/14/2006 |
Avoiding Some Common Mistakes When Integrating USB IP Into Your SOC | 7/3/2006 |
Quality and Risk as a Selection Criteria for IP Using VSIA QIP 2.0 | 7/3/2006 |
The Love/Hate Relationship with DDR SDRAM Controllers | 7/3/2006 |
Evaluate IP Timing Constraints Before Use in SOC Designs | 7/1/2006 |
Multicore This, Multiprocessor That: It’s all MPSoC | 7/1/2006 |
Using Dynamic and Static Power Rail Analysis to Maximize Results with Minimum Effort | 6/26/2006 |
Structured ASICs and Platform FPGAs | 6/16/2006 |
Structured ASICs and Platform FPGAs: Part 2 | 6/16/2006 |
Structuring a Solution | 6/16/2006 |
The Structured ASIC Debate | 6/16/2006 |
Video Technology Mixes with Structured ASICs | 6/16/2006 |
What We Learned About Structured ASICs from RapidChip | 6/16/2006 |
The Platform Strategy for CE Product Development | 6/14/2006 |
Combinational Equivalence Checking for Retimed Designs | 6/12/2006 |
Seven Habits of Effective Formal Verification Planning | 6/12/2006 |
Becoming the “Third Force” in FPGAs | 6/9/2006 |
Applying Transaction-Level Models for Design and Testbenches | 6/5/2006 |
Critical Area: A Metric for Yield Optimizations in Physical Design | 6/5/2006 |
Transactions for the Masses | 5/22/2006 |
Strategies to Prevent IC Failures in Volume Production | 5/18/2006 |
Networks on Chip for Managing On-Chip Communications | 5/8/2006 |
On-Chip Interconnects for Multi-Core Chips: A Software Perspective | 5/8/2006 |
Survey Shines Light on the State of ESL Design | 5/8/2006 |
An EDA Veteran's Outlook from Sang Wang | 4/14/2006 |
Mixed-Abstraction Virtual System Prototypes Close SOC Design Gaps | 4/14/2006 |
Performance Is a Way to Differentiate | 4/14/2006 |
Re-timing Verification Using Sequential Equivalence Checking | 3/24/2006 |
Transaction-Level Modeling and Advanced Verification Come Together with SystemC and SystemVerilog | 3/24/2006 |
Transaction-Level Modeling: SystemC and/or SystemVerilog | 3/6/2006 |
Using TLM to Speed Verification and Design | 3/6/2006 |
OVL Made Easy for Assertion-Based Verification | 2/21/2006 |
Deflecting the Design Diversity Dilemma: Methods for Improving Mixed-Signal Post-Layout Analysis in an SoC Flow | 2/20/2006 |
System Level Design of FPGA-Based DSP Algorithms | 12/19/2005 |
Do’s and Don’ts of Architecting the Right FPGA Solution for DSP Design | 12/15/2005 |
FPGA-Centric Computing Architecture | 12/15/2005 |
ESL: A Look at the Myths, the Legends and the Reality | 11/18/2005 |
Hard Macro Placement in Complex SoC Design | 11/18/2005 |
Ensuring Serial Protocol Signal Integrity with FPGAs and Embedded Transceivers | 11/17/2005 |
Logic and Physical Synthesis: Should There Be a Difference? | 11/15/2005 |
FPGA Design Meets the Heisenberg Uncertainty Principle | 11/5/2005 |
SoC Design Success: Winning with Standards | 11/5/2005 |
It’s All About the Routing, Stupid! | 10/17/2005 |
Moore’s Law and the Need for a Revolution in Floorplanning Methodology | 10/17/2005 |
Technology Challenges Facing the Foundries | 10/6/2005 |
ASICs, ASSPs, and EMC in Automotive Systems Design | 9/29/2005 |
The Future of Configurable Microprocessing | 9/7/2005 |
FPGAs and Structured ASICs: A New Reality for ASSP Development | 9/1/2005 |
Platform ASICs vs. FPGAs | 9/1/2005 |
Standard-Metal: The Ultimate Structured ASIC Fabric | 9/1/2005 |
Structured ASICs: A Risk Management Tool | 9/1/2005 |
Top Five Reasons to Convert Your FPGA-to-ASIC | 9/1/2005 |
How Are You Planning to Verify all that DFT? | 8/31/2005 |
Testing an FPGA: When Is Enough, Enough? | 8/22/2005 |
IC-Catalyst: A Technology to Improve Silicon Engineering Productivity | 8/8/2005 |
Hybrid Optimization of High Performance Cell-Based Design | 8/4/2005 |
The VSIA and IP Reuse | 8/2/2005 |
Choosing a Structured/Platform ASIC: Understanding the Market Landscape | 7/31/2005 |
DFM: What Do the Letters Really Mean? | 7/22/2005 |
Networks on Chip: Challenges and Solutions | 7/20/2005 |
RTL Verification without Testbenches | 7/11/2005 |
Verilog-A/DoE: Simulating Behavioral Models Over Corners | 7/7/2005 |
EDA Tools Aim at Improving Yield | 7/1/2005 |
Improving Test Through Real-Time Information | 7/1/2005 |
Advanced Block-Level Bug-Hunting with Assertion-Based Verification Methodology and Hybrid Formal Verification | 6/6/2005 |
IP Quality is the Key to Successful SoC Design | 6/6/2005 |
Boosting Processor Performance with an Optimized Coprocessor | 6/1/2005 |
Can Formal Verification Techniques Save Design? | 6/1/2005 |
Communications Fabric Leverages Computing Power of FPGA Architectures | 6/1/2005 |
Configurable Processors: What, Why, How? | 6/1/2005 |
Formal Verification with ABV Made Practical | 6/1/2005 |
Software-Configurable Processors on the Rise | 6/1/2005 |
System Verification for Reconfigurable Processor-Based Systems using SystemC | 6/1/2005 |
An EDA Giant's Take on Upcoming Challenges | 5/31/2005 |
Solving High-Speed Memory Interface Challenges with Low-Cost FPGAs | 5/11/2005 |
Structured ASIC Platforms with Integrated SerDes Cores Offer Performance at Low Cost | 5/6/2005 |
When Probing Goes in the Chip | 5/2/2005 |
Comparing ATPG Runs | 5/1/2005 |
Generating Faster-than-at-Speed Delay Tests with On Product Clock Generation | 5/1/2005 |
High Octane ATPG | 5/1/2005 |
The Next Five Years for FPGAs | 5/1/2005 |
Why Haven't EDA Vendors Given Us DFT at the Register Transfer Level? | 5/1/2005 |
Advancing Transaction Level Modeling: Linking the OSCI and OCP-IP Worlds at the Transaction Level | 4/29/2005 |
Evolution and Adoption of Formal Analysis | 4/14/2005 |
90-nm Custom SoC? Not That Hard When Most of It's Already Working | 4/8/2005 |
So What Use Are FPGAs -- Really? | 4/4/2005 |
Elements of Verification | 3/25/2005 |
Speeding Test Chip Creation and Revision Through Automation | 3/18/2005 |
On-Chip Power Integrity, Including Package Effects | 3/11/2005 |
Placement-Driven Power Optimization at 90nm and Below | 3/7/2005 |
Synthesis from C in Electronic System Level (ESL) Design | 2/16/2005 |
Are You Building Your ESL Design Flow on Sand? | 2/1/2005 |
Complexity and Software Drive ESL Solutions | 2/1/2005 |
Creating Power-Efficient Application Engines for SoC Designs | 2/1/2005 |
Design for Low-Power at the Electronic System Level | 2/1/2005 |
Rapid SoC Hardware/Software Co-Development Using Transaction Level Modeling | 2/1/2005 |
The Real Challenge of System-Level Design | 2/1/2005 |
Speeding-up Signal Integrity Analysis and Repair for SoCs | 1/3/2005 |
An Alternative Approach to Circuit Design and Assembly for High-Speed Interconnections | 12/29/2004 |
Can You Hear Me Now? | 12/29/2004 |
Components of a Complete Assertion-Based Verification Solution | 12/13/2004 |
Accelerating SOC Design While Reducing Costs | 10/25/2004 |
Defining the Need for DSP Design Automation | 6/18/2004 |