which of the following is a possible benefit of adding assertions to a digital design? group of answer choices a) they facilitate black-box testing. b) they help to verify that a design meets its specification. c) they are not reflective of a designer's intent. d) they provide a measure of verification completeness. e) b and d. f) a, b, c, and d.