Lucid, a New Hardware Description Language
embeddedmicro.com
embeddedmicro.com
arrays in lucid = system verilog arrays
"fsm" = basically system verilog enums and a little helper logic
"connectors" = system verilog interfaces
etc etc.Its definitely better to go where the tool support is. With system verilog you get a lot of nice verification: constrained randomization, built in process synchronization, support for differentiated test bench vs dut, assertions, complex coverage metrics.