Specifications

CHAPTER 14: FORMAL VERIFICATION
SPECIFYING ADDITIONAL SETTINGS
228 ■ INTRODUCTION TO QUARTUS II ALTERA CORPORATION
Additional guidelines and options for
using Synopsis Formality software
“Synopsis Formality Support” in the
Quartus II Handbook, vol. 3, on the Altera
web site
f
For Information About Refer To