A. P. Gupta;D. P. Siewiorek
-;-
ASSURE: automated design for dependability
DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference