You also should check your entire tool chain. Your simulator and synthesis tools will support it, your formal equivalency tool will probably support it, but you might still hit restrictions if you are also targeting an emulation platform.
You also should check your entire tool chain. Your simulator and synthesis tools will support it, your formal equivalency tool will probably support it, but you might still hit restrictions if you are also targeting an emulation platform.