BDD-based successes in HW
	• IEEE Futurebus+ cache coherence protocol • Control protocol for Philips stereo components • ISDN User Part Protocol • ...