Turning to Formal Verification
			by Scott Schroeder Cray Research learns firsthand about the current capabilities of formal methods
		Building a Multimedia Video Conferencing Chip with a Synthesizable PCI Core
			by Scott Brandt Harris learns that the test environment is almost as important as the core
		Managing Power in a Million-Gate IC Design
			by Don Hanson and Teng-Sheng Moh Part of the solution to managing power is to address the power supply connections.
		Focus Report: Design-for-Test Tools
			by Daniel J. Holden Test tools have boosted their capabilities in response to today's needs.
		Special Section: Deep Submicron
			Designers Talk about Deep-Submicron Design - by Jonah McLeod IC Fabs: What Does It Take to Be on the Leading Edge? - by R.T. "Tets" Maniwa
		Editorial
			by Jonah McLeod It's Time for the Return of the Silicon Compiler
		EDA Platform
			by Steven E. Schulz What Really Happened at DAC
		Viewpoint
			by Moses Joseph Applying the Law of the Harvest to Electronic Product Development
		In The News
		Tools & Technologies