List of Messages |
CAUSE: The don't care state value 'X' cannot be stored and processed by Quartus Prime for purpose of formal verification. This can lead to non-equivalence during formal verification.
ACTION: Modify state machine description in design files to eliminate use of 'X' values. For further assistance, contact Altera Technical Support by creating a Service Request at www.altera.com/mysupport.
Copyright© 2015 Altera Corporation. All rights reserved. ALTERA, ARRIA, CYCLONE, HARDCOPY, MAX, MEGACORE, NIOS, QUARTUS, STRATIX, and all other brands, unless noted otherwise, and/or trademarks of Altera Corporation in the U.S. and other countries.