Formal Verification of a Large Design
			by Dino Caporossi and Geoff Barrett Formal verification checks design consistency from one hierarchical level to another.
		Top-Down FPGA Design-A 12-Step Program
			by Stephen L. Wasson FPGA design flow benefits from a structured design approach.
		Focus Report: Third Party Design and Consulting Services
			by Larry Waller Big EDA houses jumping into third-party design changes the supplier mix and is judged as a positive....at least for now. But it's early in the game, so stay tuned.
		Designing a Highly Integrated Controller for Flash Storage Cards
			by Joseph Chang and Sue Cozart The use of cores and design reuse methodologies reduces a five chip set to two chips.
		Editorial
			by Jonah McLeod The Return of Hardware Prototypes Provides Peace of Mind.
		Viewpoint
			by Andy Graham Defacto Standards Set the Pace--A Life-Cycle Viewpoint.
		In The News
		Tools & Technologies